Re:L
불리언 쿼리 DAG 평가의 복잡성: 역색인 순회의 P-완전성 | Re:L