Guimarães, R., Ozaki, A., & Ribeiro, J. S. (2023). Finite Based Contraction and Expansion via Models. Proceedings of the AAAI Conference on Artificial Intelligence, 37(5), 6389-6397. https://doi.org/10.1609/aaai.v37i5.25786