Backdoors to tractable answer set programming

Johannes Klaus Fichte, Stefan Szeider. Backdoors to tractable answer set programming. Artificial Intelligence, 220:64-103, 2015. [doi]

Abstract

Abstract is missing.