Clément, L., J. Kirman, and S. Salvati. “A Logical Approach to Grammar Description”. Journal of Language Modelling, vol. 3, no. 1, June 2015, pp. 87–143, doi:10.15398/jlm.v3i1.94.