Open menu
LOPSTR 93 (Conference) (1993 Louvain-la Neuve)
Logic program synthesis and transformation