Author:
Lee Michael,Matentzoglu Nico,Parsia Bijan,Sattler Uli
Publisher
Springer International Publishing
Reference17 articles.
1. W3C Recommendations RDF Semantics (2004). [Online; accessed April 15, 2015]
2. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook, 2nd edn. Cambridge University Press (2007)
3. Communications in Computer and Information Science;T Bagosi,2014
4. Lecture Notes in Computer Science;S Bail,2010
5. Brummayer, R., Biere, A.: Fuzzing and delta-debugging SMT solvers. In: Proceedings of the 7th International Workshop on Satisfiability Modulo Theories, SMT 2009, New York, NY, USA, pp. 1–5. ACM (2009)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献