Efficient evaluation for a temporal logic on changing XML documents.

Mikolaj Bojanczyk, Diego Figueira

Browse the full PODS paper archive.