@string{CAV = "Proceedings on the Conference on Automated Verification"}

@string{ICDT = "Int'l Conference on Database Theory"}
@string{ECAI = "European Conference on Artificial Intelligence"}
@string{ECAI = "ECAI"}
@string{ESOP = "European Symposium on Programming"}

@string{FLOPS = "Fuji International Symposium on Functional
		 and Logic Programming"}
@string{DBPL = "Proceedings of the International Workshop on
                 Database Programming Languages"}

@string{ICALP = "International Conference on Automata, Languages,
		and Programming"}
@string{ICLP = "International Conference on Logic Programming"}
@string{ILPS = "International Logic Programming Symposium"}
@string{ILPS = "ILPS"}
@string{IJCAI = "IJCAI"}
@string{IJCAI = "International Joint Conference on Artificial Intelligence"}

@string{JICSLP = "Joint International Conference/Symposium
		on Logic Programming"}
@string{JICSLP = "JICSLP"}
@string{JACM = "Journal of the ACM"}
@string{JLP = "Journal of Logic Programming"}

@string{LICS = "IEEE Symbosium on Logic in Computer Science"}
@string{LPNMR = "International Conference on Logic Programming and
                  Non-Monotonic Reasoning"}

@string{NACLP = "North American Conference on Logic Programming"}

@string{PEPM = "Symposium on Partial Evaluation and Semantics-based
         	Program Manipulation"}
@string{PLDI = "ACM Symposium on Programming Language
		Design and Implementation"}
@string{PLILP = "International Symposium on Programming Language Implementation
		and Logic Programming"}
@string{PODS = "ACM Principles of Database Systems"}
@string{POPL = "ACM Principles of Programming Languages"}

@string{SIGMOD = "Proceedings of the ACM SIGMOD International Conference
             on the Management of Data"},

@string{TAPSOFT = "Theory and Practice of Software Development"}
@string{TCS = "Theoretical Computer Science"}
@string{TODS = "ACM Transactions on Database Systems"}
@string{TOPLAS = "ACM TOPLAS"}
@string{VLDB = "VLDB"}


@string{LNCS = "Lecture Notes in Computer Science"}
@string{ACM = "ACM Press"}
@string{IEEE = "IEEE Press"}
@string{MIT = "MIT Press"}
@string{SPRINGER = "Springer-Verlag"}


@article{ KLW95,
AUTHOR = "M. Kifer and G. Lausen and J. Wu",
TITLE = "Logical Foundations of Object-Oriented and Frame-Based Languages",
year = 1995,
month = "July",
publisher = "ACM",
address = "New York",
journal = JACM,
volume = 42,
pages = {741--843}
}

 
@article{ ludaescher-himmeroeder-IS-98,
author = {B. Lud\"ascher and R. Himmer\"oder and G. Lausen and W. May and
                  C. Schlepphorst},
title = "Managing Semistructured Data with {FLORID}: {A} Deductive Object-Oriented
  Perspective",
journal = "Information Systems",
number = 8,
volume = 23,
year = 1998
}


@article{ KiLo92,
AUTHOR = "M. Kifer and E.L. Lozinskii",
TITLE = "A Logic for reasoning with inconsistency",
JOURNAL = "J. Automated Reasoning",
VOLUME = 9,
NUMBER = 2,
PAGES = "179-215",
YEAR = "1992" } 

@article{ KiSu92,
AUTHOR = "M. Kifer and V. S. Subrahmanian",
TITLE = "Theory of Generalized Annotated Logic Programming and its Applications",
JOURNAL = "J. Logic Programming",
VOLUME = 12,
NUMBER = 4,
PAGES = "335-368",
YEAR = "1992" } 

@inproceedings{KoSa90,
AUTHOR = "R. Kowalski and F. Sadri",
TITLE = "Logic Programs with Exceptions",
BOOKTITLE = "International Conf on Logic Programming",
PAGES = "598-613",
YEAR = 1990}


@inproceedings{ LMSS93,
AUTHOR = "A. Levy and I. Mumick and Y. Sagiv and O. Shmueli",
TITLE = "Query Reachability and Satisfiability in Datalog Expressions",
BOOKTITLE = "Proc of 12th PODS",
PAGES = "109-122",
YEAR = 1993 }

@inproceedings{Lifs95,
AUTHOR = "V. Lifschitz",
TITLE = "{SLDNF}, Constructive Negation, and Grounding",
BOOKTITLE = "International Conference on Logic Programming",
EDITOR = "L. Sterling",
PAGES = "581-598",
YEAR = 1995}

@inproceedings{LMPS95,
AUTHOR = "V. Lifschitz and N. {McCain} and T.C. Przymusinski and R.F. Stark",
TITLE = "Loop Checking in the Well-founded Semantics",
BOOKTITLE = "Logic Programming and Nonmonotonic Reasoning",
EDITOR = "V.W. Marek and A. Nerode and M. Truszczynski",
PAGES = "127-142",
NOTE = "LNAI 928",
YEAR = 1995}


@book{ Lloy84,
AUTHOR = "J. W. Lloyd",
TITLE = "Foundations of Logic Programming",
PUBLISHER = SPRINGER,
YEAR = 1984 }

@article{ LlSh91,
AUTHOR = "J. W. Lloyd and J.C. Sheperdson",
TITLE = "Partial Evaluation in Logic Programming",
JOURNAL = "J. Logic Programming",
VOLUME = 11,
PAGES = "217-242",
YEAR = 1991 }


@inproceedings{ Mahe93,
AUTHOR = "M. Maher",
TITLE = "A Logic Programming View of {CLP}",
BOOKTITLE = "International Conference on Logic Programming",
PAGES = "737-756",
YEAR = 1993 }

@book{MaWa88,
Author = "D. Maier and D. S. Warren",
Title = "Computing with Logic: Logic Programming with Prolog",
Publisher = "Benjamin Cummings Publishing Co",
Year = 1988 }

@techreport{ McC87,
AUTHOR = "J. McCarthy",
TITLE = "Mathematical Logic in Artificial Intelligence",
INSTITUTION = "Stanford University",
YEAR = 1987 }


@book{ Miln89,
AUTHOR = "R. Milner",
TITLE = "Communications and Concurrency",
PUBLISHER = "Prentice-Hall",
YEAR = 1989 }


@inproceedings{gelder-alternating-89,
author = "A. {Van Gelder}",
title = "The Alternating Fixpoint of Logic Programs with Negation",
booktitle = PODS, 
publisher = "ACM",
address = "New York",
pages = {1--10}, 
year = 1989} 
 

@article{gelder-ross-schlipf-91,
author = "A. {Van Gelder} and K.A. Ross and J.S. Schlipf",
title =  "The Well-Founded Semantics for General Logic Programs",
journal = JACM,
publisher = "ACM",
address = "New York",
volume = 38 ,
number = 3,
pages = {620--650}, 
year = 1991
}


@book{OKE90,
AUTHOR = "R. O'Keefe",
TITLE = "The Craft of Prolog",
PUBLISHER = "MIT Press",
YEAR = 1990 }


@inproceedings{Przy88,
AUTHOR = "T.C. Przymusinski",
TITLE = "On the Declarative Semantics of Deductive Databases and Logic
		  Programming",
BOOKTITLE = "Foundations of Deductive Databases and Logic Programming",
EDITOR = "J.~Minker",
PUBLISHER ="Morgan Kaufmann",
PAGES = "193-216",
YEAR = 1988}

@article{Przy89,
AUTHOR = "T.C. Przymusinski",
TITLE = "On the declarative and procedural semantics of logic programs",
JOURNAL = "Journal of Automated Reasoning", 
VOLUME = 5,
PAGES = "167--205", 
YEAR = 1989}

@article{Przy89a,
AUTHOR = "T.C. Przymusinski",
TITLE = "Non-Monotonic Formalisms and Logic Programming",
JOURNAL = "Proc. of International Conference on Logic Programming", 
PAGES = "655-674", 
YEAR = 1989}

@inproceedings{Przy89b,
AUTHOR = "T.C. Przymusinski",
TITLE = "Three-valued non-monotonic formalisms and logic programming",
BOOKTITLE = "KR 89",
YEAR = "1989"}

@article{Przy89c,
AUTHOR = "T.C. Przymusinski",
TITLE = "The well-founded semantics coincides with
	 the three-valued stable semantics.",
JOURNAL = "Fundamenta Informaticae",
YEAR = "1989"}

@inproceedings{Przy89d,
AUTHOR = "T.C. Przymusinski",
TITLE = "Every Logic Program has a Natural Stratification and an Iterated Least Fixed Point Model",
BOOKTITLE = "PODS",
PAGES = "11-21",
YEAR = "1989"}

 
@techreport{RRSSW96,
AUTHOR = "C. R.  Ramakrishnan and I. V. Ramakrishnan and K. Sagonas
	  and T. Swift and D. S. Warren",
TITLE = "Tabled Logic Programs: Principles, Practice and Applications",
NOTE = "Tutorial Notes Presented at the Joint International Conference
		  and Symposium  on Logic Programming",
Institution = "SUNY Stony Brook",
YEAR = 1996
     }
 
@article{ Rama88,
AUTHOR = "R.~Ramakrishnan.",
TITLE = "Magic templates: A spellbinding approach to logic programs.",
JOURNAL = "J. Logic Programming",
VOLUME = "11",
PAGES = "189-216",
YEAR = 1991 }

@book{Raghu-book,
Title={Applications of Logic Databases},
Editor={R. Ramakrishnan},
publisher={Kluwer Academic Publishers},
year = 1995,
	}


@inproceedings{ RSS92,
AUTHOR = "R.  Ramakrishnan and D. Srivastava and S. Sudarshan",
TITLE = "{CORAL}: Control, Relations, and Logic",
BOOKTITLE = "Proc. of the 18th International Conference on 
		Very Large Data Bases",
ORGANIZATION = "VLDB End.",
PAGES = "238-249",
YEAR = 1992 }


@ARTICLE{RaUl94,
   AUTHOR = {Raghu Ramakrishnan and Jeffrey D. Ullman},
    TITLE = {A Survey of Deductive Database Systems},
  JOURNAL = JLP,
   VOLUME = {23},
   NUMBER = {2},
    PAGES = {125--149},
     YEAR = {1995}
}

@INPROCEEDINGS{RSSS93,
   AUTHOR = {Raghu Ramakrishnan and Divesh Srivastava and S. Sudarshan
            and Praveen Seshadri},
    TITLE = {{Implementation of the CORAL Deductive Database System}},
   PAGES = {167--176},
     YEAR = {1993},
BOOKTITLE = {Proceedings of the ACM SIGMOD International Conference
             on the Management of Data},
}

@ARTICLE{MagicTemplates@JLP-91,
   AUTHOR = {Ramakrishnan, Raghu},
    TITLE = {{Magic Templates: A Spellbinding Approach To Logic Programs}},
   VOLUME = {11},
   NUMBER = {3 \& 4},
     YEAR = {1991},
    MONTH = {October/November},
    PAGES = {189--216},
  JOURNAL = JLP
}



@article{Reit80, 
AUTHOR = "R. Reiter",
TITLE = "A logic for default reasoning",
JOURNAL = "Artificial Intelligence",
VOLUME = 13,
PAGES = "68-93",
YEAR = "1980"}

@article{Reit86, 
AUTHOR = "R. Reiter",
TITLE = "Non-Monotonic Resoning",
JOURNAL = "Annual Review of Computer Science",
YEAR = "1986"}


@inproceedings{Ross94,
AUTHOR = "K.A. Ross",
TITLE = "Modular stratification and magic sets for datalog programs with
  negation.",
BOOKTITLE = "JACM",
PAGES = "1216-1266",
YEAR =  1994}


@inproceedings{ xsql-92,
author = "M. Kifer and W. Kim and Y. Sagiv",
title = "Querying Object-Oriented Databases",
booktitle = SIGMOD,
publisher = "ACM",
address = "New York",
month = "June",
year = 1992,
pages = {393-402}
}


@inproceedings{ SaSW94,
AUTHOR = "K. Sagonas and T. Swift and D. S. Warren",
TITLE = "{XSB} as an Efficient Deductive Database Engine",
BOOKTITLE = "Proc. of SIGMOD 1994 Conference",
ORGANIZATION = "ACM",
YEAR = 1994 }


@inproceedings{ SaWa95,
   AUTHOR = "K. Sagonas and D. S. Warren",
    TITLE = "Efficient Execution of {HiLog} in {WAM}-based {P}rolog 
		Implementations",
     YEAR = {1995},
    MONTH = jun,
BOOKTITLE = {Proceedings of the 12th International Conference on Logic
             Programming},
   EDITOR = {Leon Sterling},
PUBLISHER = {MIT Press},
    PAGES = {349--363}
}


@book{Ull1,
AUTHOR = "J. Ullman",
TITLE = "Principles of Data and Knowledge-base Systems Vol {I}",
PUBLISHER = "Computer Science Press",
YEAR = 1989}

@book{Ull2,
AUTHOR = "J. Ullman",
TITLE = "Principles of Data and Knowledge-base Systems Vol {II}",
PUBLISHER = "Computer Science Press",
YEAR = 1989}


@article{ VGRS91,
AUTHOR = "A. {van Gelder} and K.A. Ross and J.S. Schlipf",
JOURNAL = "JACM",
TITLE = "Unfounded Sets and  well-founded semantics for general logic
		programs", 
VOLUME = "38",
NUMBER = "3",
PAGES = "620--650",
YEAR = 1991 }


@article{ vanEmden76, 
AUTHOR = "M.H. {van Emden} and R.A. Kowalski",
TITLE = "The semantics of predicate logic as a programming language",
JOURNAL = "JACM",
VOLUME = 23,
NUMBER = 1,
PAGES = "733-742",
YEAR = 1976 }


 
@inproceedings{ frohn-lausen-uphoff-VLDB-94,
author = "J.~Frohn and G.~Lausen and H.~Uphoff",
title = "Access to Objects by Path Expressions and Rules",
booktitle = VLDB,
year = 1994,
pages = {273--284}
}

 
@article{ gyssens-paredaens-vdbussche-vgucht-TKDE-94,
author = "M.~Gyssens and J.~Paredaens and J.~Van~den Bussche and D.~Van~Gucht",
title = "A Graph-Oriented Object Database Model",
journal = "IEEE Transactions on Knowledge and Data Engineering",
number = 4,
volume = 6,
year = 1994,
pages = {572--586}
}


@inproceedings{ guiz-flora-00,
author = "G. Yang and M. Kifer",
title = "Implementing an Efficient {DOOD} System Using a Tabling Logic Engine",
booktitle = "First International Conference on Computational Logic, DOOD-2000
                  Stream", 
year = 2000,
month = "July"
}


@article{hilog-jlp,
author = "W. Chen and M. Kifer and D.S. Warren",
title = "{HiLog}: {A} Foundation for Higher-Order Logic Programming",
journal = JLP,
year = 1993,
month = "February",
volume = 15,
number = 3,
pages = {187--230}
}

@inproceedings{ hilog-icdt-95 ,
author = " W. Chen and M. Kifer ",
title = " {Sorted HiLog}: {Sorts} in Higher-Order  Logic Programming ",
booktitle = ICDT ,
series = LNCS,
number = 893,
month = " January ",
year =  1995
}

@incollection{ trans-dbpl93,
author = "A.J. Bonner and M. Kifer and M. Consens",
title = "Database Programming in Transaction Logic",
booktitle = DBPL,
editor = "C. Beeri, A. Ohori and D.E. Shasha",
month = "February",
year = 1994,
publisher = "Springer-Verlag",
series = "Workshops in Computing",
pages = "309--337",
note = "Workshop held on Aug 30--Sept 1, 1993, New York City, NY"
}


@inproceedings{ trans-iclp93,
author = "A.J. Bonner and M. Kifer",
title = "Transaction Logic Programming",
booktitle = ICLP,
publisher = "MIT Press",
month = "June",
year = 1993,
pages = {257--282},
address = "Budapest, Hungary"
}

@article{ trans-tcs94 ,
author = "  A.J.~Bonner and M.~Kifer",
title = "An Overview of Transaction Logic ",
journal =  TCS,
volume = 133 ,
month = " October ",
year =  1994,
pages = {205--265}
}


@article{ Cla78,
AUTHOR = "K. Clark",
TITLE = "Negation as Failure",
JOURNAL = "Logic and Databases",
EDITOR = "H. Gallaire and J.~Minker",
PAGES = "293-322",
YEAR = 1978 }
