@InProceedings{AhrendtBeckertStenz1997,
  author       = {Wolfgang Ahrendt and Bernhard Beckert and Gernot Stenz},
  title        = {{S}earch oriented vs.~representation oriented tableau calculi},
  booktitle    = {Proceedings, First International Workshop on Proof Transformation and Presentation PTP-97, Dagstuhl, Germany},
  pages        = {39--40},		  
  year         = {1997}
}