Robinson J.A. (eds.)

Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 5: Logic Programming

Gabbay D.M.,Hogger C.J.,Robinson J.A. (eds.)