Monitoring Dynamic Integrity Constraints on Finite State Sequences and Existence Intervals. - Udo W. Lipeck; Heren Zhou (FMLDO, 1991)

Überwachung dynamischer Integritätsbedingungen mit Hilfe vergangenheitsbezogener temporaler Logik. - Heren Zhou (Grundlagen von Datenbanken, 1993)

Anwendung temporaler Logiken zur Überwachung dynamischer Integritätsbedingungen von Datenbanken. - Heren Zhou (1994)