Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Gentzen, G.: Untersuchungen über das logische Schliessen. Mathematische Zeitschrift 39, 176–210, 405–431 (1934)
2. Bachmair, L., Ganzinger, H.: 11. In: Associative-commutative superposition, pp. 353–397. Kluwer, Dordrecht (1998)
3. Lecture Notes in Artificial Intelligence;J. Stuber,2001
4. Dowek, G., Hardin, T., Kirchner, C.: Theorem proving modulo. Journal of Automated Reasoning 31, 33–72 (2003)
5. Dowek, G., Werner, B.: Proof normalization modulo. The Journal of Symbolic Logic 68, 1289–1316 (2003)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献