"circumscripci\u00ED"@cs .