Clément, L.; Kirman, J.; Salvati, S. A Logical Approach to Grammar Description. JLM 2015, 3, 87–143.