@article{DBLP:journals/logcom/DelgrandeSTW04, title = {On Computing Belief Change Operations using Quantified Boolean Formulas}, author = {Delgrande, James P. and Schaub, Torsten and Tompits, Hans and Woltran, Stefan}, journal = {J. Log. Comput.}, number = {6}, pages = {801--826}, volume = {14}, year = {2004} }