within the department of computer science
Further information: http://www.uni-leipzig.de/journal/heft798/s10.htm
