Handbook of logic in artificial intelligence and logic programming (Clarendon Press, 1994)