solvers for ASP procedures for non-disjunctive programs; then, by building on the resulting graphs, I move to ASP procedures for disjunctive programs. Next, abstract solvers for cautious reasoning are presented. Finally, I brie y touch the usage of abstract solvers in other research elds, such as Quanti ed SAT, Constraint ASP and Abstract Argumentation Frameworks.