Kristensen, B. B.; Madsen, O. L. Methods for LR(k) Testing: (Informative Diagnostics on LALR(k)-Conflicts). DPB 1979, 8.