@InCollection{gabbay:johan99,

author="Dov Gabbay and Odinaldo Rodrigues and Alessandra Russo",
title="Revision by Translation (short version)",
pages="/contribs/gabbay/",
crossref="gerb:joha99"
}