C. Kisby, S. Blanco, A. Kruckman, and L. Moss, “Logics for Sizes with Union or Intersection”, AAAI, vol. 34, no. 03, pp. 2870-2876, Apr. 2020.