Using forcing to prove completeness of resolution and paramodulation
scientific article; zbMATH DE number 4193156
scientific article