Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. L. Bachmair. Canonical equational proofs. Birkhäuser, Boston, 1991.
2. L. Bachmair and N. Dershowitz. Equational inference, canonical proofs, and proof orderings. J. of the Association for Computing Machinery, 41:236–276, 1994.
3. L. Bachmair, N. Dershowitz, and D. A. Plaisted. Completion without failure. In H. Ait-Kaci and M. Nivat, editors, Resolution of Equations in Algebraic Structures (Vol. 2: Rewriting Techniques), pages 1–30. Boston, Academic Press, 1989.
4. volume 449 of Lect. Notes in Artificial Intelligence;L. Bachmair,1990
5. L. Bachmair and H. Ganzinger. Rewrite-based equational theorem proving with selection and simplification. J. Logic Comput., 4:217–247, 1994.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献