N. Froleyks, T. Balyo, and D. Schreiber, “PASAR — Planning as Satisfiability with Abstraction Refinement”, SOCS, vol. 10, no. 1, pp. 70–78, Sep. 2021.