"Aristonymus"@cs .