Lazy Compilation in Classical Planning (Extended Abstract). - Zuzana Fílová; Pavel Surynek (SOCS, 2022)