Lloyd, J. W. "Combining functional and logic programming languages" In Proceedings of the 1994 International Logic Programming Symposium, ILPS'94, pages 43-57, MIT Press, Cambridge, MA, 1994.

Languages mentioned

• Escher {1995}