@misc{indiciae9580858b9e2e, title = {Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming}, author = {Jan C. Dageförde and Finn Teegen}, year = {2019}, doi = {10.1007/978-3-030-46714-2\_13}, url = {https://arxiv.org/abs/1908.10264}, note = {Source identifier: 1908.10264} }