Bliem, BernhardHölldobler, Steffen2019-01-142019-01-142018978-3-88579-977-1https://dl.gi.de/handle/20.500.12116/19480deTreewidth in Non-Ground Answer Set Solving and Alliance Problems in GraphsText/Conference Paper