Wehbe, J.; Kinnaird, K.; Hackl, M. Distributivity Facilitates ACD Resolution. Proceedings of the AC 2024, 386-392.