Text Summarization using Formal Argumentation | IEEE Conference Publication | IEEE Xplore