Title: A graph formalism for proofs in the Lambek calculus with product
First published: 2006