Jan Christiansen, Michael Hanus, Fabian Reck, Daniel Seidel. A semantics for weakly encapsulated search in functional logic programs. In Ricardo Peña, Tom Schrijvers, editors, 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013. pages 49-60, ACM, 2013. [doi]
Abstract is missing.