S. Pinchinat, S. Rubin, and F. Schwarzentruber, “Formula Synthesis in Propositional Dynamic Logic with Shuffle”, AAAI, vol. 36, no. 9, pp. 9902-9909, Jun. 2022.