Y. Zhang and H. Yu, “LR-XFL: Logical Reasoning-Based Explainable Federated Learning”, AAAI, vol. 38, no. 19, pp. 21788-21796, Mar. 2024.