@TechReport{KMWWM08,
 author = 	 {Alissa Kaplunova and Ralf M{\"o}oller and Sebastian Wandelt and Michael Wessel},
 title = 	 {{Approximation and ABox Segmentation}},
 institution =  {Institute for Software Systems (STS), Hamburg University of Technology},
 year = 2008,
 address = {Germany},
 note =  {See http://www.sts.tu-harburg.de/tech-reports/papers.html.}
}