TY  - BOOK
AU  - PETTOROSSI,  A. (ED.
TI  - LECTURE NOTES IN COMPUTER SCIENCE (META - PROGRAMMING IN LOGIC 
U1  - 005.1 PET/LEC 
PY  - 1992///
CY  - NEW YORK
PB  -  SPRINGER VERLAG
ER  -