 ArguMed by Verheij (Verheij 2005) computes a version of stable semantics. Chris Reed and Glenn Rowe (Reed and Rowe 2004) have developed Araucaria, an application for analyzing and diagramming legal arguments. Prakken’s ASPIC+ system (Prakken 2010) can be used in analyzing formal argumentative structures.