Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert. Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi. J. UCS, 5(3):113-134, 1999. [doi]
@article{StenzAB99, title = {Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi}, author = {Gernot Stenz and Wolfgang Ahrendt and Bernhard Beckert}, year = {1999}, url = {http://www.jucs.org/jucs_5_3/proof_transformations_from_search}, tags = {search, transformation}, researchr = {https://researchr.org/publication/StenzAB99}, cites = {0}, citedby = {0}, journal = {J. UCS}, volume = {5}, number = {3}, pages = {113-134}, }