A formal logic approach to firewall packet filtering analysis and generation. - John Govaerts; Arosha K. Bandara; Kevin Curran (Artif. Intell. Rev., 2008)