T. Uras and S. Koenig, “Feasibility Study: Subgoal Graphs on State Lattices”, SOCS, vol. 8, no. 1, pp. 100–108, Sep. 2021.