@InProceedings{SB:FLAIRS-99,
  author = 	 {S. Schulz and F. Brandt},
  title = 	 {{Using Term Space Maps to Capture Search Control
                  Knowledge in Equational Theorem Proving}},
  booktitle = 	 {Proc.\ of the 12th FLAIRS, Orlando},
  editor =	 {A.N. Kumar and I. Russel},
  year =	 {1999},
  publisher =	 {AAAI Press},
  pages =	 {244--248},
  optnote =	 {},
}