The University of Warwick Library - WebBridge

Alternation-free modal mu-calculus for data trees
Jurdzinski, Marcin.  22nd Annual IEEE Symposium on Logic in Computer Science .    2007. p. 131 - 140... issn: 1043-6871 .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.