Augusti J., Puigsegur J., Robertson D. and Schorlemer W.1996 Visual logic programming through set inclusion and chaining. In CADE 13 Workshop on Visual Reasoning.

Couch A. L. and Gilfix M.1999 It’s elementary, dear watson: Applying logic programming to convergent system management processes. In Proceedings of the 13th USENIX Conference on Systems Administration (LISA), pp. 123–138.

Das S. K.Deductive Databases and Logic programming. Addidon-Wesley, Wokingham, England, 1992.

Dong Y., Ramakrishnan C. R. and Smolka S. A.2003 Evidence explorer: a tool for exploring model-checking proofs. In Fifteenth International Conference on Computer Aided Verification (CAV), Lecture Notes in Computer Science 2725, pp. 215–218, Springer.

Gupta G. and Akhter S. F.2000 Knowledgesheet: A graphical spreadsheet interface for interactively developing a class of constraint programs. In Practical Aspects of Declarative Languages (PADL), Vol. 1753 of Lecture Notes in Computer Science, pp. 308–323, Springer.

Guttman J. D., Herzog A. L. and Ramsdell J. D.2003 Information flow in operating systems: Eager formal methods. In Workshop on Issues in the Theory of Security (WITS).

Jaeger T., Sailer R. and Zhang X.2003 Analyzing integrity protection in the SELinux example policy. In USENIX Security Symposium.

Jayaraman B. and Moonm K.2000Subset logic programs and their implementation. Journal of Logical Programming, 42(2): 71–110.

Jones S. P., Blackwell A. and Burnett M.2003 A user-centered approach to function in excel. In ICFP.

Kassoff M., Zen L.-M., Garg A. and Genesereth M.2005 PrediCalc: A logical spreadsheet management system. In 31st International Conference on Very Large Databases (VLDB).

Li N., Grosof B. and Feigenbaum J.2000 A practically implementable and tractable delegation logic. In IEEE Symposium on Security and Privacy, pp. 27–42.

Li N., Mitchell J. and Winsborough W. May, 2002 Design of a role-based trust-management framework. In Proceedings of 2002 IEEE Symposium on Security and Privacy, pp. 114–130.

Li N., Winsborough W. H. and Mitchell J. C.2003Distributed credential chain discovery in trust management. Journal of Computer Security, 11(1): 35–86.

Lloyd J. W.Foundations of Logic Programming. 2nd Edn. Springer Verlag, New York, 1987.

Loscocco P. and Smalley S.2001a Integrating flexible support for security policies into the Linux operating system. In Proceedings of FREENIX track of the 2001 Usenix Annua; Technical Conference. Available at www.nsa.gov/selinx/.

Loscocco P. and Smalley S.2001b Meeting critical security objectives with security-enhanced Linux. In Proceedings of 2001 Ottawa Linux Symposium, 2001. Available at www.nsa.gov/selinx/.

Maier D. and Warren D. S.1988Computing with Logic: Logic Programming and Prolog. Menlo Park, CA: Benjamin/Cummings Publishers, ISBN 0-8053-6681-4, 535 pp.

Ou X., Govindavajhala S. and Appel A. W.2005 MulVAL: A logic-based network security analyzer. In 14th Usenix Security Symposium.

Ramakrishnan C. R. and Sekar R.2002Model-based analysis of configuration vulnerabilities. Journal of Computer Security, 10(1/2): 189–209.

Reeves D. M., Wellman M. P. and Grosof B. N.2001 Automated negotiation from declarative contract descriptions. In Müller J. P., Andre E., Sen S., and Frasson C., (eds.), Proceedings of the Fifth International Conference on Autonomous Agents, pp. 51–58, Montreal, Canada: ACM Press.

Roychoudhury A., Ramakrishnan C. R. and Ramakrishnan I. V.2000 Justifying proofs using memo tables. In Proceedings of Principles and Practice of Declarative Programming.

Sagonas K., Swift T., Warren D. S., Freirre J. and Rao P.2001XSB Programmers Manual. Available at http://xsb.sourceforge.net/.

Saha D. and Ramakrishnan C. R.2003 Incremental evaluation of tabled logic programs. In Proceedings of International Conference on Logic Programming.

Sarna-Starosta B. and Stoller S. D. April, 2004 Policy analysis for security-enhanced linux. In Proceedings of the 2004Workshop on Issues in the Theory of Security (WITS), pp. 1–12. Available at www.cs.sunysb.edu/~stoller/WITS2004.html.

Schwartz J. T., Dewar R. B., Schonberg E. and Dubinsky E.1986Programming with Sets; An Introduction to SETL.New York, NY: Springer-Verlag.