@inproceedings{732,
  author = {David Toman},
  title = {Logical Data Expiration for Fixpoint Extensions of Temporal Logics},
  year = {2003},
  journal = {Logical Data Expiration for Fixpoint Extensions of Temporal Logics},
  doi = {10.1007/978-3-540-45072-6_22},
}