Formal Verification of Debates in Argumentation Theory

Open in new window