@string{ai="Artificial Intelligence"} @article{FichteSzeider15, author = {Johannes Klaus Fichte and Stefan Szeider}, title = {Backdoors to Tractable Answer Set Programming}, journal = AI, volume = {220}, pages = {64--103}, year = {2015}, month = {3}, doi = {10.1016/j.artint.2014.12.001}, }