@Article{	  AspertiPadovaniSacerdotiCoenGuidiSchena03,
  author	= {Andrea Asperti and Luca Padovani and Sacerdoti Coen,
		  Claudio and Ferruccio Guidi and Irene Schena},
  title		= {{M}athematical {K}nowledge {M}anagement in {HELM}},
  journal	= {Annals of Mathematics and Artificial Intelligence},
  volume	= {38},
  number	= {1-3},
  year		= {2003},
  pages		= {27-46},
  issn		= {1012-2443},
  url		= {http://www.di.unito.it/~padovani/Papers/amai_mkm_2001.ps.gz}
		  ,
  doi		= {10.1023/A:1022907629104},
  abstract	= {The paper describes the general philosophy and the main
		  architectural and technological solutions adopted in the
		  HELM Project for the management of large repositories of
		  mathematical knowledge. The leitmotiv is the extensive use
		  of XML technology, and the exploitation of information in
		  the ``Web way'', that is without a central authority, with
		  few basic rules, in a scalable, adaptable, and extensible
		  manner. }
}