Alternation-free modal mu-calculus for data trees.

Marcin Jurdzinski, Ranko Lazic

Browse the full LICS paper archive.