Reasoning with Logic Programming - Alferes, Jose Julio; Pereira, Luis Moniz (Berlin: Springer, 1996)
Keywords: Logic (Reasoning).; Logic Programming