(2004). Model-checking based data retrieval: An application to semistructured and temporal data / Elisa Quintarelli.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Model-checking Based Data Retrieval: An Application to Semistructured and Temporal Data / Elisa Quintarelli. 2004.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Model-checking Based Data Retrieval: An Application to Semistructured and Temporal Data / Elisa Quintarelli. 2004.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.