비평면 가정 기반 논증 프레임워크에 대한 효율적인 계산 접근법을 제안한다. 이를 위해 양극 논증 프레임워크로의 의미 보존 변환을 활용하고, 논증의 중복성을 제거하는 방법을 제시한다. 또한 계산 복잡도가 낮은 비평면 ABA 프레임워크 조각을 식별한다.