Logical Representation and Analysis for RC-Arguments | IEEE Conference Publication | IEEE Xplore