Corrêa, A. B.; Büchner, C.; Christen, R. Zero-Knowledge Proofs for Classical Planning Problems. AAAI 2023, 37, 11955-11962.