The bounded proof property via step algebras and step frames
scientific article; zbMATH DE number 6342366
scientific article