"Eduard Teiter"@cs .