"Reynard"@cs .