JGEX ciation seems wrong

In the nature paper, JGEX citation is
Ye, Z., Chou, S. C. & Gao, X. S. in Proc. Automated Deduction in Geometry: 7th International
Workshop, ADG 2008 (eds Sturm, T. & Zengler, C.) 189–195 (Springer, 2011).
But I searched, it seems the corresponding article is this;
https://dl.acm.org/doi/10.5555/2008257.2008268
So the citation should like
Zheng Ye, Shang-Ching Chou, and Xiao-Shan Gao. 2008. An introduction to java geometry expert. In Proceedings of the 7th international conference on Automated deduction in geometry (ADG'08). Springer-Verlag, Berlin, Heidelberg, 189–195.

but this is can be ignored, never mind