Strategic construction of Fitch-style proofs
scientific article; zbMATH DE number 1501367