Parameterized provability in equational logic
scientific article; zbMATH DE number 6833567