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