David M. Sandford

• Using sophisticated models in resolution theorem proving
• Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science)