"Satisfiability and relevance for queries over active documents."

Serge Abiteboul, Pierre Bourhis, Bogdan Marinoiu (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics