@inproceedings{StenzWolf2000b,
  author =	 {Gernot Stenz and Andreas Wolf},
  title =	 {{S}trategy {S}cheduling for {H}igh {P}erformance {T}heorem {P}roving},
  booktitle =	 {{P}roceedings of the Conference on High Performance
                  Computing on Hewlett-Packard Systems ({H}i{P}er-2000), Barcelona, Spain},
  year =	 {2000},
}