"CH-NUTS"@cs .