Pinchinat, S., Rubin, S., & Schwarzentruber, F. (2022). Formula Synthesis in Propositional Dynamic Logic with Shuffle. Proceedings of the AAAI Conference on Artificial Intelligence, 36(9), 9902-9909. https://doi.org/10.1609/aaai.v36i9.21227