James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran. On Computing Belief Change Operations using Quantified Boolean Formulas. Journal of Logic and Computation, 14(6):801-826, 2004. [doi]
@article{DelgrandeSTW04, title = {On Computing Belief Change Operations using Quantified Boolean Formulas}, author = {James P. Delgrande and Torsten Schaub and Hans Tompits and Stefan Woltran}, year = {2004}, doi = {10.1093/logcom/14.6.801}, url = {http://dx.doi.org/10.1093/logcom/14.6.801}, researchr = {https://researchr.org/publication/DelgrandeSTW04}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {14}, number = {6}, pages = {801-826}, }