Visualization of Proofs in Defeasible Logic. - Ioannis Avguleas; Katerina Gkirtzou; Sofia Triantafilou; Antonis Bikakis; Grigoris Antoniou; Efstratios Kontopoulos; Nick Bassiliades (RuleML, 2008)