Title: Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science)
Subjects: Mathematical Logic and Formal Languages, Computer science, Computer Science, Computer programs