Jian-Gang Tang, Yimamujiang Aishan, Ji-Yu Liu, Jia-Yin Peng. "Research on group type theory and its functorial semantic models in category logic." PLoS ONE, 2025. doi:10.1371/journal.pone.0326301