A principled approach to the implementation of argumentation models

This paper constructs a framework for developing structured argumentation models and translations between models (given intertranslatability of models), and provides a methodology to quickly test and formally prove desirable properties of such implementations using a theorem prover.