The following publications are possibly variants of this publication:
- Bisimulation-based Consistency Checking on Syndrome Feng-Shi-Re-Bi in Rheumatoid ArthritisGuang Zheng, Kai Cui, Junping Zhan, Zekun Ning, Miao Jiang, Cheng Lu, Aiping Lu. jsw, 9(3):536-540, 2014. [doi]
- Exploring the molecular mechanism of Juan-Bi-Tang for Feng-Han-Shi-Bi syndrome in rheumatoid arthritisGuang Zheng, Mengmeng Song, Biao He, Xiaoqing Li, Jia Luo, Aiping Lu. bibm 2013: 77-79 [doi]
- Consistency Checking for LSC SpecificationsHai-Feng Guo, Wen Zheng, Mahadevan Subramaniam. tase 2009: 119-126 [doi]
- L2C2: logic-based LSC consistency checkingHai-Feng Guo, Wen Zheng, Mahadevan Subramaniam. ppdp 2009: 183-194 [doi]
- RABC: Rheumatoid Arthritis Bioinformatics CenterHaiyan Chen, Jing Xu, Siyu Wei, Zhe Jia, Chen Sun, Jingxuan Kang, Xuying Guo, Nan Zhang, Junxian Tao, Yu Dong, Chen Zhang, Yingnan Ma, Wenhua Lv, Hongsheng Tian, Shuo Bi, Hongchao Lv, Chen Huang, Fanwu Kong, Guoping Tang, Yongshuai Jiang, Mingming Zhang. nar, 51(D1):1381-1387, January 2023. [doi]