A. Weinzierl: "Twelve speedy tricks for answering NP-complete problems"; Talk: TNG Big Techday 8, München, Deutschland; 2015-06-12.
Project Head Thomas Eiter: Integrated Evaluation of Answer Set Programs and Extensions