Wayne Snyder
-
Combining superposition, sorts and splitting
Handbook of automated reasoning
Simplification Orderings: History Of Results
Fundamenta Informaticae