"Martin Kiefer"@cs .