@Article{StenzAhrendtBeckert99,
author = {Gernot Stenz and Wolfgang Ahrendt and Bernhard Beckert},
title = {Proof Transformations from Search-oriented into
Interaction-oriented Tableau Calculi},
journal = {Journal of Universal Computer Science},
volume = {5},
number = {3},
pages = {113--134},
year = {1999}
}