Open menu
LOPSTR'97 (Conference) (7th 1997 Leuven, Belgium)
Logic program synthesis and transformation