TY - RPRT TI - Finite Based Contraction and Expansion via Models AU - Ricardo GuimarĂ£es AU - Ana Ozaki AU - Jandson S. Ribeiro PY - 2023 DO - 10.1609/aaai.v37i5.25786 UR - https://arxiv.org/abs/2303.03034 ID - 2303.03034 ER -