Translation of an Argumentation Framework into a CP-Boolean Game | IEEE Conference Publication | IEEE Xplore