Abdulaziz, M.; Kurz, F. Formally Verified SAT-Based AI Planning. AAAI 2023, 37, 14665-14673.