by Mary Sarah Ruth Wilkin and Stefan D. Bruda, in Proceedings of the 14th International Conference on Applied Computer Science, January 2014, Cambridge, MA.

This paper only contains an intuitive example and not the actual counterexample. The latter can be found in the extended version available as a technical report.