Katz, M., J. Hoffmann, and M. Helmert. “How to Relax a Bisimulation?”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 22, no. 1, May 2012, pp. 101-9, doi:10.1609/icaps.v22i1.13497.