Sagar Chaki, Alex Groce, Ofer Strichman. Explaining abstract counterexamples. In Richard N. Taylor, Matthew B. Dwyer, editors, Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004. pages 73-82, ACM, 2004. [doi]
Abstract is missing.