Abstract We present an unifified methodology for representation and development of dialectical proof procedures in abstract argumentation based on the notions of legal environments and dispute derivations. A legal environment specififies 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 the completeness of a dispute procedure depends on the proponent moves