Daniel Seidel, Janis Voigtländer. Automatically Generating Counterexamples to Naive Free Theorems. In Matthias Blume, Naoki Kobayashi, Germán Vidal, editors, Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. Volume 6009 of Lecture Notes in Computer Science, pages 175-190, Springer, 2010. [doi]