Wehbe, J. et al. 2024. Distributivity facilitates ACD resolution. Proceedings of the Amsterdam Colloquium. (Dec. 2024), 386–392.