D. Gnad, Álvaro Torralba, and J. Hoffmann, “Symbolic Leaf Representation in Decoupled Search”, SOCS, vol. 8, no. 1, pp. 124–128, Sep. 2021.