@InProceedings{	  AspertiPadovaniSacerdotiCoenSchena01bis,
  author	= {Andrea Asperti and Luca Padovani and Sacerdoti Coen,
		  Claudio and Irene Schena},
  title		= {{XML}, {S}tylesheets and the {R}e-mathematization of
		  {F}ormal {C}ontent},
  booktitle	= {Proceedings of Extreme Markup Languages 2001},
  pages		= {17-27},
  year		= {2001},
  url		= {http://www.di.unito.it/~padovani/Papers/extreme/2001/p0002.pdf}
		  ,
  abstract	= {An important part of the descriptive power of mathematics
		  derives from its ability to represent formal concepts in a
		  highly evolved, two-dimensional system of symbolic
		  notations. Tools for the mechanisation of mathematics and
		  the automation of formal reasoning must eventually face the
		  problem of re-mathematization of the logical, symbolic
		  content of the information, especially in view of their
		  integration with the World Wide Web. In a different work we
		  already discussed the pivotal role that XML (eXtensible
		  Markup Language) technology is likely to play in such an
		  integration. In this paper, we focus on the problem of
		  (Web) publishing, advocating the use of XSL (eXtensible
		  Stylesheet Language) Transformations, in conjunction with
		  MathML (Mathematical Markup Language), as a standard,
		  application independent and modular way for associating
		  notation to formal mathematical content.}
}