TY - RPRT TI - Width-Bounded Equational Derivations for Finite Graph Expressions AU - Antonios Kalampakas PY - 2026 UR - https://arxiv.org/abs/2609.08325 ID - 2609.08325 ER -