Toward a Uniform Logical Representation of Different Kinds of Integrity Constraints

Robert Demolombe, Andrew J. I. Jones, José Carmo. Toward a Uniform Logical Representation of Different Kinds of Integrity Constraints. In Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach, editors, Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR 97, Bad Honnef, Germany, June 9-12, 1997, Proceedings. Volume 1244 of Lecture Notes in Computer Science, pages 614-620, Springer, 1997.

Abstract

Abstract is missing.