Author:
Alagi Gábor,Weidenbach Christoph
Publisher
Springer International Publishing
Reference27 articles.
1. Alagi, G., Weidenbach, C.: NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Full Paper). CoRR, abs/1502.05501 (2015). http://arxiv.org/abs/1502.05501
2. Lecture Notes in Artificial Intelligence,2008
3. Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Robinson and Voronkov (eds.) [23], pp. 19–99
4. Lecture Notes in Artificial Intelligence;P. Baumgartner,2006
5. Lecture Notes in Artificial Intelligence;P. Baumgartner,2003
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献