@InCollection{marx:johan99,
author="Maarten Marx",
title="Taming First Order Logic: Relating the Semantic and the Syntactic Approach",
pages="/contribs/marx/",
crossref="
gerb:joha99
"
}