Metalogical Contributions to the Nonmonotonic Theory of Abstract Argumentation