TY  - RPRT
TI  - Invariant Relations: A Bridge from Programs to Equations
AU  - Wided Ghardallou
AU  - Hessamaldin Mohammadi
AU  - Elijah Brick
AU  - Ali Mili
PY  - 2023
UR  - https://arxiv.org/abs/2310.04684
ID  - 2310.04684
ER  -