Positive unit hyperresolution tableaux and their application to minimal model generation
scientific article; zbMATH DE number 1515410