Wehbe, J. et al. 2024. Distributivity facilitates ACD resolution. Proceedings of the Amsterdam Colloquium. (Dec. 2024), 386–392. DOI:https://doi.org/10.53437/0csmkg97.