Corrêa, A. B., Büchner, C. and Christen, R. (2023) “Zero-Knowledge Proofs for Classical Planning Problems”, Proceedings of the AAAI Conference on Artificial Intelligence, 37(10), pp. 11955-11962. doi: 10.1609/aaai.v37i10.26410.