@InCollection{mints:johan99,
author="G. Mints",
title="Interpolation Theorems for Intuitionistic Predicate Logic",
pages="/contribs/mints/",
crossref="
gerb:joha99
"
}