@InCollection{siekmann:johan99,

author="J\"org Siekmann and Michael Kohlhase and Erica Melis",
title="OMEGA -- A Mathematical Assistant System",
pages="/contribs/siekmann/",
crossref="gerb:joha99"
}