TY - RPRT TI - Automatic constraints with few subpowers and graphoid recognition AU - Antonios Kalampakas PY - 2026 UR - https://arxiv.org/abs/2609.07891 ID - 2609.07891 ER -