Sequential Relational Decomposition.

Dror Fried, Axel Legay, Jol Ouaknine, Moshe Y. Vardi

Browse the full LICS paper archive.