APA Edition Citation

Gabbay, D. M. (1994). Hand bok of logic in artificial intelligence and logic programming: Deduction methodologies vol 2. Oxford Univeristy Press.

Chicago Edition Citation

Gabbay, Dov M. Hand Bok of Logic in Artificial Intelligence and Logic Programming: Deduction Methodologies Vol 2. New York: Oxford Univeristy Press, 1994.

MLA Edition Citation

Gabbay, Dov M. Hand Bok of Logic in Artificial Intelligence and Logic Programming: Deduction Methodologies Vol 2. Oxford Univeristy Press, 1994.