Oskar Bartenstein Stéphane Bressan Introduction to Part I: Web-Languages and Logic. 3-4 2001 conf/inap/2001lncs INAP (LNCS Volume) http://link.springer.de/link/service/series/0558/bibs/2543/25430003.htm db/conf/inap/inap2001lncs.html#BartensteinB01