Cybersecurity policy verification with declarative programming. - Rattikorn Hewett; Phongphun Kijsanayothin; Stephanie Bak; Marry Galbrei (Appl. Intell., 2016)