A. B. Corrêa, C. Büchner, and R. Christen, “Zero-Knowledge Proofs for Classical Planning Problems”, AAAI, vol. 37, no. 10, pp. 11955-11962, Jun. 2023.