Văn bản này: Model-checking based data retrieval : an application to semistructured and temporal data / Elisa Quintarelli.