Enhancing magic sets with an application to ontological reasoning
2019·Arxiv