Wehbe, Jad, et al. “Distributivity Facilitates ACD Resolution”. Proceedings of the Amsterdam Colloquium, Dec. 2024, pp. 386-92, https://doi.org/10.53437/0csmkg97.