Johan Wittocx, Broes de Cat, Marc Denecker. Towards Computing Revised Models for FO Theories. In Salvador Abreu, Dietmar Seipel, editors, Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers. Volume 6547 of Lecture Notes in Computer Science, pages 85-101, Springer, 2009. [doi]
Abstract is missing.