@InProceedings{StenzWolf1999b,
  author = 	 {Gernot Stenz and Andreas Wolf},
  title = 	 {{E-SETHEO}: {D}esign, {C}onfiguration and {U}se of a {P}arallel {A}utomated {T}heorem {P}rover},
  booktitle = 	 {Proceedings, 12th Australian Joint Conference on Artificial Intelligence (ai'99), Sydney, Australia},
  pages = 	 {231--243},
  year = 	 {1999},
  editor = 	 {Norman Foo},
  volume = 	 {1747},
  series = 	 {LNAI},
  month = 	 dec,
  publisher = {{S}pringer, {B}erlin},
}