Publication:2723409
From MaRDI portal
zbMath0963.68233MaRDI QIDQ2723409
Leo Bachmair, Ashish Kumar Tiwari
Publication date: 5 July 2001
Related Items
Fast congruence closure and extensions, A rewriting approach to satisfiability procedures., Deciding confluence of certain term rewriting systems in polynomial time, Combining Equational Reasoning
Uses Software