Rule-elimination theorems
scientific article; zbMATH DE number 7938978
scientific article