"Alfons Dopsch"@cs .