BibTeX Entry: Zheng2019equivalenceVisualization