Kisby, C., Blanco, S., Kruckman, A., & Moss, L. (2020). Logics for Sizes with Union or Intersection. Proceedings of the AAAI Conference on Artificial Intelligence, 34(03), 2870-2876. https://doi.org/10.1609/aaai.v34i03.5677