TY - BOOK AU - Sandford, David M. TI - Using sophisticated models in resolution theorem proving T2 - Lecture notes in computer science 90 SN - 3540102310 U1 - 519.4 PY - 1980/// CY - Berlin PB - Springer-Verlag ER -