Kristensen, Bent Bruun, and Ole Lehrmann Madsen. 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.