"Otto Bucher"@cs .