Cabbay, D. M., Hogger, C. J., Robinson, J. A., & Siekmann, J. (1994). Deduction methodologies. Oxford: Clarendon Pr..
Παραπομπή Chicago StyleCabbay, Dov. M., C. J. Hogger, J. A. Robinson, and J. Siekmann. Deduction Methodologies. Oxford: Clarendon Pr., 1994.
Παραπομπή MLACabbay, Dov. M., C. J. Hogger, J. A. Robinson, and J. Siekmann. Deduction Methodologies. Oxford: Clarendon Pr., 1994.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.