Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations
-
sidottu
,
Englanti, 1993