Plaisted, David A. Max Planck Society;
Lee, S.-J., & Plaisted, D. A. (1994). Use of replace rules in theorem proving. Methods of Logic in Computer Science, 1, 217-240.