David M. Sandford profile picture

David M. Sandford

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science)
Using Sophisticated Models in Resolution Theorem Proving