Model-checking based data retrieval :an application to semistructured and temporal data