Computer Supported Mathematics with OMEGA
@article{SBA-06-a,
  author        = {J\"org Siekmann and Christoph Benzm\"uller and Serge Autexier},
  editor        = {Benzm\"uller, Christoph},
  title         = {Computer Supported Mathematics with OMEGA},
  journal       = {Journal of Applied Logic, special issue on Mathematics Assistance Systems},
  volume        = {4},
  number        = {4},
  month         = {december},
  year          = {2006},
}