Theory revision with queries: Horn, read-once, and parity formulas

Judy Goldsmith, Robert H. Sloan, Balázs Szörényi, György Turán. Theory revision with queries: Horn, read-once, and parity formulas. Artificial Intelligence, 156(2):139-176, 2004. [doi]

Abstract

Abstract is missing.