"Quintus"@cs .