@misc{indiciae92fb31ab7d15,
  title = {Query-driven Procedures for Hybrid MKNF Knowledge Bases},
  author = {José Júlio Alferes and Matthias Knorr and Terrance Swift},
  year = {2011},
  url = {https://arxiv.org/abs/1007.3515},
  note = {Source identifier: 1007.3515}
}