Lin, F. Parameterized Logical Theories. AAAI 2021, 35, 6402-6409.