TY - CPAPER AU - Jan Christiansen AU - Daniel Seidel AU - Janis Voigtländer BT - Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification DO - 10.1145/1707790.1707797 PY - 2010 SP - 39 EP - 48 T2 - Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification TI - Free Theorems for Functional Logic Programs ER -