Search: 2004, aifb.uni-karlsruhe.de