@InCollection{graedel:johan99,
author="Erich Gr\"adel",
title="The Decidability of Guarded Fixed Point Logic",
pages="/contribs/graedel/",
crossref="
gerb:joha99
"
}