Author:
Bromberger Martin,Dragoste Irina,Faqeh Rasha,Fetzer Christof,Krötzsch Markus,Weidenbach Christoph
Publisher
Springer International Publishing
Reference41 articles.
1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley, Reading (1994)
2. Bachmair, L., Ganzinger, H., Waldmann, U.: Refutational theorem proving for hierarchic first-order theories. Appl. Algebra Eng. Commun. Comput. (AAECC) 5(3/4), 193–212 (1994). https://doi.org/10.1007/BF01190829
3. Lecture Notes in Computer Science;C Barrett,2011
4. Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB standard: version 2.6. Technical report, Department of Computer Science, The University of Iowa (2017). http://www.SMT-LIB.org/
5. Lecture Notes in Computer Science;P Baumgartner,2019
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献