"Bertrand Schefer"@cs .