@InCollection{hoogland:johan99,
author="Eva Hoogland and Maarten Marx and Martin Otto",
title="Beth Definability in the Guarded Fragment",
pages="/contribs/hoogland/",
crossref="
gerb:joha99
"
}