Jan C. Dageförde, Finn Teegen. Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming. In Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel, editors, Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers. Volume 12057 of Lecture Notes in Computer Science, pages 199-214, Springer, 2019. [doi]
Abstract is missing.