David Toman. Logical Data Expiration for Fixpoint Extensions of Temporal Logics. In Thanasis Hadzilacos, Yannis Manolopoulos, John F. Roddick, Yannis Theodoridis, editors, Advances in Spatial and Temporal Databases, 8th International Symposium, SSTD 2003, Santorini Island, Greece, July 24-27, 2003, Proceedings. Volume 2750 of Lecture Notes in Computer Science, pages 380-393, Springer, 2003. [doi]