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]
@article{GoldsmithSST04,
title = {Theory revision with queries: Horn, read-once, and parity formulas},
author = {Judy Goldsmith and Robert H. Sloan and Balázs Szörényi and György Turán},
year = {2004},
doi = {10.1016/j.artint.2004.01.002},
url = {http://dx.doi.org/10.1016/j.artint.2004.01.002},
researchr = {https://researchr.org/publication/GoldsmithSST04},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {156},
number = {2},
pages = {139-176},
}