Reasoning with logic programming - Alferes, Jose Julio. (Springer, 1996)