R. Guimarães, A. Ozaki, and J. S. Ribeiro, “Finite Based Contraction and Expansion via Models”, AAAI, vol. 37, no. 5, pp. 6389-6397, Jun. 2023.