Ralph Bottesch, Dmitry Gavinsky, Hartmut Klauck. Equality, Revisited. In Giuseppe F. Italiano, Giovanni Pighizzini, Donald Sannella, editors, Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II. Volume 9235 of Lecture Notes in Computer Science, pages 127-138, Springer, 2015. [doi]
@inproceedings{BotteschGK15, title = {Equality, Revisited}, author = {Ralph Bottesch and Dmitry Gavinsky and Hartmut Klauck}, year = {2015}, doi = {10.1007/978-3-662-48054-0_11}, url = {http://dx.doi.org/10.1007/978-3-662-48054-0_11}, researchr = {https://researchr.org/publication/BotteschGK15}, cites = {0}, citedby = {0}, pages = {127-138}, booktitle = {Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II}, editor = {Giuseppe F. Italiano and Giovanni Pighizzini and Donald Sannella}, volume = {9235}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-662-48053-3}, }