@inproceedings{Barthwal_Norrish_10_2,
    address          = {Brno, Czech Republic},
    author           = {Barthwal, Aditi and Norrish, Michael},
    booktitle        = {19th EACSL Annual Conferences on Computer Science Logic},
    keywords         = {theorem-proving, language theory},
    month            = aug,
    pages            = {95--109},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/3885.pdf},
    title            = {A Formalisation of the Normal Forms of Context-Free Grammars in {HOL4}},
    year             = {2010}
  }