Logic Program Synthesis and Transformation — Meta-Programming in Logic
1995 ◽
pp. 232-244
◽
1997 ◽
1998 ◽
Vol 98
(1-2)
◽
pp. 1-47
◽
2001 ◽
Vol 16
◽
pp. 548-556
◽
1989 ◽
Vol 8
(6)
◽
pp. 605-627
◽