Wehbe, J.; Kinnaird, K.; Hackl, M. Distributivity Facilitates ACD Resolution. Proceedings of the AC 2024, 386-392. https://doi.org/10.53437/0csmkg97.