A formalisation of the normal forms of context-free grammars in HOL4 (2010)

by A Barthwal, M Norrish
Venue:Proc. of 24th Int. Wksh. on Computer Science Logic, CSL 2010, v. 6247 of Lect. Notes in Comput. Sci