@proceedings {ABF04b,
	title = {An Automated Tool for Web Sites Verification},
	journal = {Logics in Artificial Intelligence, 9th European Conference, JELIA 2004},
	volume = {3229},
	year = {2004},
	pages = {726{\textendash}729},
	publisher = {Springer},
	author = {Maria Alpuente and Demis Ballis and Moreno Falaschi}
}
