Froleyks, N.; Balyo, T.; Schreiber, D. PASAR — Planning As Satisfiability With Abstraction Refinement. SOCS 2021, 10, 70-78.