Edward Stabler & Edward Keenan (2007) Universals across Languages. Workshop on Model Theoretic Syntax (MTS@10), 2007 European Summer School on Logic, Language and Information (ESSLLI’07), (slides)
Edward Stabler (2006) Sidewards without copying. Proceedings of the 11th Conference on Formal Grammar, edited by P. Monachesi, G. Penn, G. Satta, and S. Wintner. Stanford: CSLI Publications, 2006, pages 133-146.
MG CKY parser and utilities in SWI Prolog, by E Stabler (posted ca. 2001) The soundness, completeness, and efficiency of these parsers for MGs is established by Harkema 2001 and Michaelis 2001, avaliable here.
• A faster OCaml implementation by John Hale (2003) is here.
• An even faster OCaml implementation, by E Stabler (posted May 2010) is here.