Theory revision with queries: Horn, read-once, and parity formulas
scientific article; zbMATH DE number 5003958
scientific article