@InCollection{israel:johan99,

author="David Israel",
title="Interpretation of Discourse and Proof Theory: Questions and Directions",
pages="/contribs/israel/",
crossref="gerb:joha99"
}