KISBY, C.; BLANCO, S.; KRUCKMAN, A.; MOSS, L. Logics for Sizes with Union or Intersection. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 34, n. 03, p. 2870-2876, 2020. DOI: 10.1609/aaai.v34i03.5677. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/5677. Acesso em: 28 jun. 2022.