Steve Dunne, João F. Ferreira 0001, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda. bGSL: An imperative language for specification and refinement of backtracking programs. J. Log. Algebr. Meth. Program., 130:100811, 2023. [doi]
Abstract is missing.