"Comaldessus"@cs .