Author:
Pérez-Urbina Héctor,Motik Boris,Horrocks Ian
Subject
Applied Mathematics,Logic
Reference40 articles.
1. Foundations of Databases;Abiteboul,1995
2. Pushing the EL envelope;Baader,2005
3. Basic Description Logics;Baader,2003
4. F. Baader, W. Snyder, Unification theory, in: Robinson and Voronkov [34], pp. 445–532 (Chapter 8)
5. L. Bachmair, H. Ganzinger, Resolution theorem proving, in: Robinson and Voronkov [34], pp. 19–99 (Chapter 2)
Cited by
72 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献