TY  - BOOK
AU  - Pettorossi A
ED  - International Workshop on Meta-Programming in Logic( 3rd : 1992 : Sweden )
ED  - International Workshop on Meta-Programming in Logic 3rd
TI  - Meta-Programming in logic : proceedings
SN  - 0-387-56282-6
U1  - 5.131 
PY  - 1992///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
ER  -