Knowledge Processing and Information Systems
On Computing Belief Change Operations using Quantified Boolean Formulas

@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}
}