Yiwen Liang, Wenjun Deng. Verify Consistency between Security Policy and Firewall Policy with Answer Set Programming. In International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 1: Artificial Intelligence, December 12-14, 2008, Wuhan, China. pages 196-200, IEEE Computer Society, 2008. [doi]