Web Sites Verification: An Abductive Logic Programming Tool.

Paolo Mancarella, Giacomo Terreni, Francesca Toni

Browse the full ICLP paper archive.