110
click to vote
CSL
2001
Springer
15 years 7 months ago
2001
Springer
We show how a well-known superposition-based inference system for first-order equational logic can be used almost directly as a decision procedure for various theories including l...