"Proculus"@cs . "Proculova"@cs .