TY - RPRT TI - Finitely Generated Congruences in Semirings and Canonical Positive Models AU - Snehinh Sen PY - 2026 UR - https://arxiv.org/abs/2511.12815 ID - 2511.12815 ER -