B. B. Kristensen and O. L. Madsen, “Methods for LR(k) Testing: (Informative Diagnostics on LALR(k)-Conflicts)”, DPB, vol. 8, no. 106, Nov. 1979.