TY  - RPRT
TI  - A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases
AU  - Ana Sofia Gomes
AU  - Jose Julio Alferes
AU  - Terrance Swift
PY  - 2012
DO  - 10.1017/s1471068412000439
UR  - https://arxiv.org/abs/1103.3949
ID  - 1103.3949
ER  -