Ground Joinability and Connectedness in the Superposition Calculus
Authors: André Duarte and Konstantin Korovin
Paper Information
| Title: | Ground Joinability and Connectedness in the Superposition Calculus |
| Authors: | André Duarte and Konstantin Korovin |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | superposition, ground joinability, connectedness, closure redundancy, first-order theorem proving |
| Pages: | 20 |
| Talk: | Aug 08 11:20 (Session 96D: Effective Superposition and Orderings) |
| Paper: |  |