Fílová, Z., and P. Surynek. “Lazy Compilation in Classical Planning (Extended Abstract)”. Proceedings of the International Symposium on Combinatorial Search, vol. 15, no. 1, July 2022, pp. 270-2, doi:10.1609/socs.v15i1.21782.