Towards a Robust Medical Record System: Integrating Logical Reasoning for Trustworthy Data Management. - Hanning Zhang; Guansheng Wang; Junwei Feng; Lei Feng; Quan Gan; Long Ji (TrustCom, 2024)