Non-resolution theorem proving
scientific article; zbMATH DE number 3559034
scientific article