Selected papers that cite this one
- Bernhard Beckert. Semantic tableaux with equality. Journal of Logic and Computation, 7(1):39-58, February 1997.
- Steffen Hölldobler. Combining logic programming and equation solving. Journal of Logic and Computation, 1(3):397-415, May 1991.
- Tie-Cheng Wang. Z-module reasoning: An equality-oriented proving method with built-in ring axioms. Journal of the ACM, 40(3):558-606, July 1993.