Satisfying a Fragment of XQuery by Branching-Time Reduction | IEEE Conference Publication | IEEE Xplore