Encoding Argumentation Frameworks to Propositional Logic Systems