Kristensen, B. B., and O. L. Madsen. “Methods for LR(k) Testing: (Informative Diagnostics on LALR(k)-Conflicts)”. DAIMI Report Series, vol. 8, no. 106, Nov. 1979, doi:10.7146/dpb.v8i106.6521.