Sylvain Hallé, Roger Villemaire, Omar Cherkaoui. CTL Model Checking for Labelled Tree Queries. In 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary. pages 27-35, IEEE Computer Society, 2006. [doi]
Abstract is missing.