H. Zhang, G. Jiang, and D. Quan, “A Theory of Formalisms for Representing Knowledge”, AAAI, vol. 39, no. 14, pp. 15257–15264, Apr. 2025.