A logic-based approach for automatic synthesis and maintenance of web sites.

Joo M. B. Cavalcanti, Wamberto Weber Vasconcelos

Browse the full SEKE paper archive.