"A general datalog-based framework for tractable query answering over ..."

Andrea Calì, Georg Gottlob, Thomas Lukasiewicz (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics