A Controversy-Oriented Approach to the Theory of Knowledge
An executable specification of an argumentation protocol