@InProceedings{SchulteSmolka:ILPS:1994,
Author = "Christian Schulte and Gert Smolka",
Title = "Encapsulated Search in Higher-order Concurrent Constraint Programming",
Editor = "Maurice Bruynooghe",
Booktitle = "Logic Programming: Proceedings of the 1994 International Symposium",
Year = 1994,
Month = nov,
Address = "Ithaca, NY, USA",
Publisher = "The MIT Press",
Pages = "505--520",
URL = "https://chschulte.github.io/papers/schultesmolka-ilps-1994.html"
}