"Structured Traversal of Search Trees in Constraint-logic Object-oriented ..."

Jan C. Dageförde, Finn Teegen (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics