L. Clément, J. Kirman, and S. Salvati, “A logical approach to grammar description”, JLM, vol. 3, no. 1, pp. 87–143, Jun. 2015.