@workingPaper{SchulteSmolkaWürtz_1994, title={Encapsulated search and constraint programming in Oz}, author={Schulte, Christian and Smolka, Gert and Würtz, Jörg}, doi={http://dx.doi.org/10.22028/D291-24951}, year={1994} }