Rose, K.; Burns, E.; Ruml, W. Best-First Search for Bounded-Depth Trees. SOCS 2021, 2, 134-141.