@inproceedings{Kreutzer01c,
  title = "Operational Semantics for Fixed-Point Logics on Constraint Databases",
  author = "S. Kreutzer",
  year = "2001",
  booktitle = "Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)",
  pages = "470 -- 484",
  publisher = "Springer",
  series = "Lecture Notes in Artificial Intelligence (LNAI)",
  volume = "2250",
}