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