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\"auser}, year = {2008}, }