Gnad, D.; Torralba, Álvaro; Hoffmann, J. Symbolic Leaf Representation in Decoupled Search. SOCS 2021, 8, 124-128.