"Demotix"@cs .