Optimal control dependence computation and the Roman chariots problem. - Pingali, Keshav; Bilardi, Gianfranco (ACM Transactions on Programming Languages & Systems, 1997)