On the termination of clause graph resolution
scientific article; zbMATH DE number 724147
scientific article