TY  - BOOK
AU  - Giorgio Levi
TI  - Advances in logic programming theory
SN  - 0-90-853853-7
U1  - 004.43 
PY  - 1994///
CY  - 
PB  - Oxford University Press
ER  -