An algorithm for reduction of operator strength | Communications of the ACM | DeepDyve