@InCollection{venema:johan99,

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