@InProceedings{Stenz1998,
  author       = {Gernot Stenz},
  title        = {{P}roof {T}ransformations for {I}ntegrating {A}utomated and {I}nteractive {T}heorem {P}rovers},
  booktitle    = {Proceedings, Integration of Deductive Systems, Workshop at
		  the International Conference on Automated Deduction
		  (CADE), Lindau, Germany},
  editor       = {N. Bj{\o}rner and R. H\"ahnle and W. Menzel
		  and W. Reif and P. H. Schmitt},
  pages        = {67--75},		  
  year         = {1998}
}