Journal of Logic, Language and Information
A Principled Approach to Grammars for Controlled Natural Languages and Predictive Editors