@article{FichteSzeider15b,
 author = {Johannes Klaus Fichte and Stefan Szeider},
 doi = {10.1145/2818646},
 journal = {ACM Transactions on Computational Logic},
 number = {1},
 title = {Backdoors to Normality for Disjunctive Logic Programs},
 volume = {17},
 year = {2015}
}