Weryfikacja dynamicznych więzów integralności specyfikowanych w logice temporalnej z operatorami metrycznymi - Macyna, Wojciech (Politechnika Wrocławska, 2003)
Keywords: logika temporalna; bazy danych