@InCollection{tiede:johan99,

author="Hans-Joerg Tiede",
title="Counting the Number of Proofs in the Commutative Lambek Calculus",
pages="/contribs/tiede/",
crossref="gerb:joha99"
}