"Modeling Backtracking, Disjunctive Constraints, and Control/Data ..."

Donald A. Smith (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics