"Dominois"@cs .