A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs
scientific article; zbMATH DE number 5697030
scientific article