JGEX ciation seems wrong

[Landau1994]

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