"PRA"@cs .