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:21 - 10 self