"Fritz Feierabend"@cs .