TY  - BOOK
AU  - Gabbay, Dov M.
TI  - Hand bok of logic in artificial intelligence and logic programming: Deduction methodologies vol 2 
PY  - 1994///
CY  - New York
PB  - Oxford Univeristy Press
ER  -