@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
"
}