%0 Journal Article %1 journals/ai/GoldsmithSST04 %A Goldsmith, Judy %A Sloan, Robert H. %A Szörényi, Balázs %A Turán, György %D 2004 %J Artif. Intell. %K dblp %N 2 %P 139-176 %T Theory revision with queries: Horn, read-once, and parity formulas. %U http://dblp.uni-trier.de/db/journals/ai/ai156.html#GoldsmithSST04 %V 156

@article{journals/ai/GoldsmithSST04, added-at = {2004-06-25T00:00:00.000+0200}, author = {Goldsmith, Judy and Sloan, Robert H. and Szörényi, Balázs and Turán, György}, biburl = {https://www.bibsonomy.org/bibtex/2e0e62f6864b28dc4c867fc90d22c44a9/dblp}, date = {2004-06-25}, description = {dblp}, ee = {http://dx.doi.org/10.1016/j.artint.2004.01.002}, interhash = {87b0133ef033c4df9e271d096b519a11}, intrahash = {e0e62f6864b28dc4c867fc90d22c44a9}, journal = {Artif. Intell.}, keywords = {dblp}, number = 2, pages = {139-176}, timestamp = {2004-06-25T00:00:00.000+0200}, title = {Theory revision with queries: Horn, read-once, and parity formulas.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai156.html#GoldsmithSST04}, volume = 156, year = 2004 }