Breadth-first traversal via staging. (English) Zbl 07705356
Komendantskaya, Ekaterina (ed.), Mathematics of program construction. 14th international conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13544, 1-33 (2022).
MSC:
68N30