Pinchinat, S.; Rubin, S.; Schwarzentruber, F. Formula Synthesis in Propositional Dynamic Logic With Shuffle. AAAI 2022, 36, 9902-9909.