LOPSTR 94 (Conference) (1994 Pisa, Italy)

• Logic program synthesis and transformation-- Meta-programming in Logic