Bernd Braßel, Jan Christiansen. A Relation Algebraic Semantics for a Lazy Functional Logic Language. In Rudolf Berghammer, Bernhard Möller, Georg Struth, editors, Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. P. Volume 4988 of Lecture Notes in Computer Science, pages 37-53, Springer, 2008. [doi]
Abstract is missing.