@MastersThesis{Sch95,
  author =       "S. Schulz",
  title =        "{Explanation Based Learning for Distributed
                  Equational Deduction}",
  school =       "Fachbereich Informatik, Universit{\"a}t
                  Kai\-sers\-lau\-tern",
  year =         1995,
  type =         "{Diplomarbeit in Informatik}"
}