%0 Conference Paper
%B Relations and Kleene Algebra in Computer Science
%D 2008
%I Springer Berlin Heidelberg
%P 37-53
%T A Relation Algebraic Semantics for a Lazy Functional Logic Language
%@ 978-3-540-78913-0