The current state of automated argumentation theory: a literature review