@inproceedings{Jones:1972,
author = {Jones, C B},
title = {Formal Development of Correct Algorithms: An Example Based on Earley's Recogniser},
year = {1972},
isbn = {9781450378918},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/800235.807083},
doi = {10.1145/800235.807083},
booktitle = {Proceedings of ACM Conference on Proving Assertions about Programs},
pages = {150–169},
numpages = {20},
location = {Las Cruces, New Mexico, USA}
}

@article{Earley:1970,
author = {Earley, Jay},
title = {An Efficient Context-Free Parsing Algorithm},
year = {1970},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {13},
number = {2},
issn = {0001-0782},
url = {https://doi.org/10.1145/362007.362035},
doi = {10.1145/362007.362035},
journal = {Commun. ACM},
pages = {94–102},
numpages = {9},
keywords = {computational complexity, parsing, syntax analysis, context-free grammar, compilers}
}

@article{Scott:2008,
title = {SPPF-Style Parsing From Earley Recognisers},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {2},
pages = {53-67},
year = {2008},
note = {Proceedings of the Seventh Workshop on Language Descriptions, Tools, and Applications (LDTA 2007)},
issn = {1571-0661},
doi = {https://doi.org/10.1016/j.entcs.2008.03.044},
url = {https://www.sciencedirect.com/science/article/pii/S1571066108001497},
author = {Elizabeth Scott},
keywords = {Earley parsing, cubic generalised parsing, context free languages},
}

@misc{Obua:2017,
      title={Local Lexing}, 
      author={Steven Obua and Phil Scott and Jacques Fleuriot},
      year={2017},
      eprint={1702.03277},
      archivePrefix={arXiv},
      primaryClass={cs.LO}
}

@article{LocalLexing-AFP,
  author  = {Steven Obua},
  title   = {Local Lexing},
  journal = {Archive of Formal Proofs},
  year    = {2017},
  note    = {\url{https://isa-afp.org/entries/LocalLexing.html},
            Formal proof development},
  ISSN    = {2150-914x},
}
