Reasoning with logic programming - Alferes, Jose Julio (Lecture notes in computer science : Lecture notes in artificial intelligence, 1996)