@InCollection{hodkinson:johan99,
author="Robin Hirsch and Ian Hodkinson",
title="Synthesising Axioms by Games",
pages="/contribs/hodkinson/",
crossref="
gerb:joha99
"
}