Handbook of logic in artificial intelligence and logic programming - Gabbay, Dov M., 1945-; Hogger, Christopher John; Robinson, J. A. (John Alan) (Clarendon Press, 1998)
τ. 5. - xv, 799 σ. - 1998.