Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Superposition with equivalence reasoning and delayed clause normal form transformation | 12 | 0.92 | 2005 |
| Translation of resolution proofs into short first-order proofs without choice axioms | 5 | 0.63 | 2005 |
| The New WALDMEISTER Loop at Work | 11 | 0.60 | 2003 |
| Superposition Modulo a Shostak Theory | 3 | 0.44 | 2003 |
| An AC-Compatible Knuth-Bendix Order | 3 | 0.37 | 2003 |