Download Using Sophisticated Models In Resolution Theorem Proving 1980