Proof systems and transformation games
scientific article; zbMATH DE number 6189550
scientific article