Modeling and Verifying Active XML Artifacts

Serge Abiteboul, Luc Segoufin, Victor Vianu. Modeling and Verifying Active XML Artifacts. IEEE Data Eng. Bull., 32(3):10-15, 2009. [doi]

Abstract

Abstract is missing.