Logics for databases and information systems - Saake, Gunter, Ed. (Bostan Kluwer Academic Publishers, 1998)
Keywords: Logic Programming