Wehbe, Jad, et al. “Distributivity Facilitates ACD Resolution”. Proceedings of the Amsterdam Colloquium, Dec. 2024, pp. 386-92, https://platform.openjournals.nl/PAC/article/view/21866.