Search: Thor, A, 2007, informatik.uni-leipzig.de