1
Model-Checking Based Data Retrieval [E-Book] : An Application to Semistructured and Temporal Data /