"Urs M\u00FCller"@cs .