Model-Checking Based Data Retrieval An Application to Semistructured and Temporal Data - Quintarelli, Elisa (Springer Berlin Heidelberg, 2004)