"A goal-directed implementation of query answering for hybrid MKNF ..."

Ana Sofia Gomes, José Júlio Alferes, Terrance Swift (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics