Theorem Proving using Term Rewriting Systems (1981)

by Refutational Hsiang