@article{GanianKimSlivovskySzeider22,
 author = {Robert Ganian and Eun Jung Kim and Friedrich
Slivovsky and Stefan Szeider},
 journal = {Journal of Artificial Intelligence Research},
 keywords = {ParAI, QBF, nfpc},
 pages = {535--552},
 title = {Sum-of-Products with Default Values: Algorithms and Complexity Results},
 url = {https://jair.org/index.php/jair/article/view/12370},
 volume = {33},
 year = {2022}
}