@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},
  URL     = {http://www.jucs.org/jucs_5_3}
}