Dirk Roorda Proof Nets for Lambek Calculus. 211-231 1992 2 J. Log. Comput. 2 db/journals/logcom/logcom2.html#Roorda92