Frontiers of tractability for typechecking simple XML transformations
scientific article; zbMATH DE number 5146908