"Otakar Weinzettel"@cs .