You are about to access our book library "Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science, 90) full version" .