Handbook of logic in artificial intelligence and logic programming (Oxford science publications, 1994)