TY - BOOK AU - Fribourg Laurent ED - International Joint Workshop on Logic Program Synthesis and Transformation Meta-Programming in Logic( 4th : 1994 : Pisa ) ED - International Joint Workshop on Logic Program Synthesis and Transformation Meta-Programming in Logic 4th TI - Logic program synthesis and transformation meta-programming in logic : proceedings SN - 3-540-58792-6 U1 - 5.131 PY - 1994/// CY - Berlin PB - Springer Verlag KW - Computer science KW - Logic programming ER -