"Eduard Locher"@cs .