Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA
@article{ABDW-08-a,
  author        = {Serge Autexier and Christoph Benzmueller and Dominik Dietrich and Marc Wagner},
  title         = {Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA},
  journal       = {Journal Mathematics in Computer Science},
  publisher     = {Birkhäuser},
  year          = {2008},
}