A proof description language and its reduction system
natural deduction proofs of closed existential formulae
scientific article; zbMATH DE number 3825792