Tableaux and dual tableaux: transformation of proofs
scientific article; zbMATH DE number 5189075