Open menu
LOPSTR 95 (Conference) (1996 Utrecht, Netherlands)
Logic program synthesis and transformation