Search: Lausen, G, 2009, informatik.uni-freiburg.de