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. Electronic Colloquium on Computational Complexity (ECCC), (039), 2003. [doi]

Abstract

Abstract is missing.