Kristensen, B. B., & Madsen, O. L. (1979). Methods for LR(k) Testing: (Informative Diagnostics on LALR(k)-Conflicts). DAIMI Report Series, 8(106). https://doi.org/10.7146/dpb.v8i106.6521