Return to Article Details Distributivity facilitates ACD resolution Download Download PDF