TY  - RPRT
TI  - Restriction in Program Algebra
AU  - Marcel Jackson
AU  - Tim Stokes
PY  - 2021
DO  - 10.1093/jigpal/jzac058
UR  - https://arxiv.org/abs/2109.05643
ID  - 2109.05643
ER  -