TY - RPRT TI - Detecting Incompleteness, Conflicting and Unreachability XACML Policies using Answer Set Programming AU - Carroline Dewi Puspa Kencana Ramli PY - 2015 UR - https://arxiv.org/abs/1503.02732 ID - 1503.02732 ER -