@InProceedings{W27,
  key    =       {W27},
  author = 	 {Serge Autexier and Christoph Benzm\"uller},
  title = 	 {OMEGA --- From Proof Planning towards Mathematical Knowledge Management},
  booktitle =	 {Mathematical Knowledge Management Symposium},
  year =	 2003,
  address =	 {Heriot-Watt University, Edinburgh, Scotland},
  note = {}
}