@InProceedings{StenzWolf2000,
  author = 	 {Gernot Stenz and Andreas Wolf},
  title = 	 {Scheduling {M}ethods for {P}arallel {A}utomated {T}heorem {P}roving},
  booktitle = 	 {Proceedings, AI'2000: The Thirteenth Canadian Conference on Artificial Intelligence, Montreal, Canada},
  year = 	 {2000},
  editor = 	 {Howard Hamilton},
  pages = 	 {254--266},
  volume = 	 {1822},
  series = 	 {LNAI},
  month = 	 may,
  publisher = {{S}pringer, {B}erlin},
}