A Kind of Logical Compilation for Knowledge Bases

Philippe Mathieu, Jean-Paul Delahaye. A Kind of Logical Compilation for Knowledge Bases. Theoretical Computer Science, 131(1):197-218, 1994.

Abstract

Abstract is missing.