TY - RPRT TI - Completeness of Canonical Closure Representations Is coNP-Complete AU - Mikhail Babin PY - 2026 UR - https://arxiv.org/abs/2607.18534 ID - 2607.18534 ER -