David M. Sandford

Using Sophisticated Models in Resolution Theorem Proving - 1980 - Springer Berlin Heidelberg 1980 - Lecture Notes in Computer Science .

9783540383062


Computer Science