@article{HofstedtPepper2011, author = {Petra Hofstedt and Peter Pepper}, title = {Integration of Declarative and Constraint Programming}, journal = {Theory and practice of logic programming}, volume = {7}, number = {1-2}, pages = {93 -- 121}, year = {2011}, }