Operational Semantics for Fixed−Point Logics on Constraint Databases
S. Kreutzer
Book Title
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
Year
2001