Abstract
We present an unified methodology for representation and development of dialectical proof procedures in both abstract and assumption-based argumentation based on the notions of legal environments and dispute derivation. A legal environment specifies the legal moves of the dispute parties while a dispute derivation describes the procedure structure. A key insight of this paper is that the opponent moves determine the soundness of a dispute while its completeness depends on the proponent moves.
