Cookies help us deliver our services. By using our services, you agree to our use of cookies.
Fribourg, Laurent and
Turini, Franco, eds. 1994.
Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, LOBSTR’94 andMETA’94, Pisa, Italy. Berlin: Springer.