@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}
}