Formal Argumentation: Theory and Applications by Vitalsource Technologies, Inc