@TechReport{EHKK+07,
  author = 	 {S. Espinosa and V. Haarslev and A. Kaplunova and A. Kaya and S. Melzer and R. M{\"o}ller and M. Wessel},
  title = 	 {Reasoning Engine Version 1 and State of the Art in Reasoning Techniques},
  institution =  {Hamburg University Of Technology},
  year = 	 {2007},
  note = 	 {BOEMIE Project Deliverable D4.2},
}