Engler, et al.. A Tool for Diligent Argumentation: Experiences, Requirements and Design. IEEE, 2006, doi:10.1109/wetice.2006.11.