PETTOROSSI, A. (ED. LECTURE NOTES IN COMPUTER SCIENCE (META - PROGRAMMING IN LOGIC - NEW YORK SPRINGER VERLAG 1992 Dewey Class. No.: 005.1 PET/LEC