该论文研究了Normal Logic Programs（NLPs）和Sets of Attacking Arguments（SETAF）之间的转换，并证明了它们在语义上的等价性。同时，论文还证明了Redundancy-Free Atomic Logic Programs（RFALPs）与NLPs等价，并提出了一种转换方法。这些结果加深了对NLPs和SETAFs的理解。