Your search returned the following 2 documents:

2. Problem solving by searching for models with a theorem prover
   Shie-Jue Lee and David A. Plaisted
   Artificial Intelligence 69 (1/2): 205-233, 1994
   
1. Use of replace rules in theorem proving
   Shie-Jue Lee and David A. Plaisted
   Methods of Logic in Computer Science 1: 217-240, 1994