Rewrite Methods for Clausal and Nonclausal Theorem Proving (1983)

by Jieh Hsiang , Nachum Dershowitz
Venue:in Proceedings of the Tenth International Conference on Automata, Languages and Programming
Citations:22 - 10 self