@proceedings {ABF04a,
	title = {Automated Verification of Web Sites Using Partial Rewriting},
	journal = {Pre-Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004},
	year = {2004},
	pages = {81{\textendash}88},
	author = {Maria Alpuente and Demis Ballis and Moreno Falaschi}
}
