"A Comparison of Logic Programming Approaches for Representation and ..."

Nikolay Pelov, Emmanuel De Mot, Maurice Bruynooghe (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics