"Cernay"@cs .