F. Lin, “Parameterized Logical Theories”, AAAI, vol. 35, no. 7, pp. 6402-6409, May 2021.