@InCollection{venema:johan99,
author="Yde Venema",
title="Model Definability, Purely Modal",
pages="/contribs/venema/",
crossref="
gerb:joha99
"
}