Circumscribing DATALOG: Expressive Power and Complexity

Marco Cadoli, Luigi Palopoli. Circumscribing DATALOG: Expressive Power and Complexity. Theoretical Computer Science, 193(1-2):215-244, 1998. [doi]

Abstract

Abstract is missing.