Knowledge Representation with Logic Programs (1999)

by G Brewka, J Dix
Venue:Handbook of Philosophical Logic (2nd ed.), vol 6, Methodologies, Reidel Publ