%0 Conference Paper
%B Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification
%D 2010
%P 39-48
%R 10.1145/1707790.1707797
%T Free Theorems for Functional Logic Programs