M. Abdulaziz and F. Kurz, “Formally Verified SAT-Based AI Planning”, AAAI, vol. 37, no. 12, pp. 14665-14673, Jun. 2023.