Lin, F. (2021). Parameterized Logical Theories. Proceedings of the AAAI Conference on Artificial Intelligence, 35(7), 6402-6409. Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/16794