Theorem-proving with resolution and superposition
scientific article; zbMATH DE number 4193157
scientific article