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