Reduction Techniques for First-Order Reasoning (1992)

by Francois Bronsard, Uday S Reddy
Venue:Proceedings of the Third International Workshop on Conditional Term Rewriting Systems