
Bransen, J., Middelkoop, A., Dijkstra, A. & Swierstra, S.D. (2012). The Kennedy-Warren algorithm revisited: ordering Attribute Grammars. In C. Russo & N.-F. Zhou (Eds.), Practical Aspects of Declarative Languages Vol. 7149. Lecture Notes in Computer Science (pp. 183-197). Springer Berlin / Heidelberg. Bransen, J. (2011). The Product-Free Lambek-Grishin Calculus Is NP-Complete. In S. Pogodalla & J.-P. Prost (Eds.), Logical Aspects of Computational Linguistics (pp. 49-63). Springer Berlin / Heidelberg.