J. Fichte, “Backdoors to Tractability of Answer-Set Programming”, AAAI, vol. 27, no. 1, pp. 1662-1663, Jun. 2013.