TY  - RPRT
TI  - Sequential Relational Decomposition
AU  - Dror Fried
AU  - Axel Legay
AU  - Joël Ouaknine
AU  - Moshe Y. Vardi
PY  - 2022
DO  - 10.46298/lmcs-18(1:37)2022
UR  - https://arxiv.org/abs/1903.01368
ID  - 1903.01368
ER  -