Fílová, Zuzana, and Pavel Surynek. 2022. “Lazy Compilation in Classical Planning (Extended Abstract)”. Proceedings of the International Symposium on Combinatorial Search 15 (1):270-72. https://doi.org/10.1609/socs.v15i1.21782.