SCC-Recursive Scheme

The SCC-recursiveness scheme defines a semantics by applying a base semantics $\sigma$ locally to each strongly connected component (SCC) of the framework, processing SCCs in topological order and restricting attacks from previously evaluated SCCs.