Logical Data Expiration for Fixpoint Extensions of Temporal Logics David Toman   View Paper (PDF)   Return to Modeling and Languages BIBTEX spage=380},    crossref  = {conf/ssd/2003},    bibsource = {DBLP, http://dblp.uni-trier.de}   } ©2005 Association for Computing Machinery