Equation 15 of the original version of this article had a minor error, where the last plus should be replaced by minus. Shortly after publication, the equation was corrected to be:

TR_{i j-M1} + TR_{j k-M2} - TR_{i k-M3} <= 1.