Reasoning with Logic Programming - Alferes, Jose Julio. (Springer, 1996)