@inproceedings{198,
  author = {Jan Christiansen and Daniel Seidel and Janis Voigtländer},
  title = {Free Theorems for Functional Logic Programs},
  year = {2010},
  booktitle = {Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification},
  journal = {Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification},
  pages = {39-48},
  doi = {10.1145/1707790.1707797},
}