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

@string{ECAI = "European Conference on Artificial Intelligence"}
@string{ECAI = "ECAI"}

@string{ESOP = "European Symposium on Programming"}
@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{JACM = "Journal of the ACM"}

%@string{JLP = "JLP"}
@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{PADL = "Practical Applications of Declarative Languages"}
@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{ACM = "ACM Press"}
@string{IEEE = "IEEE Press"}
@string{MIT = "MIT Press"}
@string{SPRINGER = "Springer-Verlag"}


phdthesis{Aart95,
Author ="E. Aarts",
Title = "Investigations in Logic Language and Computation",
School = "University of Utrecht",
Year = 1995}

@inproceedings{ ADSU93,
AUTHOR = "S. Adah and V. S. Subrahmanian",
TITLE = "Integrating Multiple Knowledge Bases",
BOOKTITLE = "Proc. of the 19th International Conference on 
		Very Large Data Bases",
ORGANIZATION = "VLDB End.",
YEAR = 1993 }

@article{ AdSu96,
AUTHOR = "S. Adah and V. S. Subrahmanian",
TITLE = "Amalgamating Knowledge Bases, {II}: Algorithms,
             Data Structures and Query Processing",
Journal = "Journal of Logic Programming",
YEAR = 1996 }

@techreport{ AitK90,
AUTHOR = "H. Ait-Kaci",
TITLE = "The {WAM}: a (Real) Tutorial",
INSTITUTION = "DEC Paris Research Report",
NUMBER = "5",
YEAR = 1990 }

@techreport{AABDS01,
AUTHOR = "J. J. Alferes and F. Azevedo and P. Barahona and C. Dam\'{a}sio and T. Swift", 
TITLE = "Logic Programming Techniques for Solving Circuit Diagnosis",
INSTITUTION = "Universidade Nova de Lisboa",
YEAR = 2001}


%Editor = "A. Cohn",
%Address = "Los Altos Ca.",
@inproceedings{AlDP94,
Author = "J. Alferes and C. V. Dam\'asio and L. M. Pereira",
Title = "A Top-down query evaluation for well-founded semantics with
                  explicit negation",  
Booktitle = ECAI,
Publisher = "Morgan Kaufmann",
Pages = "140--144",
Year = 1994
}

@inproceedings{AlDP94a,
AUTHOR = "J. Alferes and C. Dam\'asio and L. M.  Pereira",
TITLE = "{SLX}: a top-down derivation procedure for programs with
		  explicit negation", 
BOOKTITLE = ILPS,
EDITOR = "M. Bruynooghe",
PAGES = "424-439",
YEAR = 1994}

@article{AlDP95,
AUTHOR = "J. Alferes and C. Dam\'asio and L. M.  Pereira",
TITLE = "A Logic Programming System for Non-monotonic Reasoning",
JOURNAL = "Journal of Automated Reasoning",
Volume = 14,
Number = 1,
Pages = "93--147",
YEAR = 1995}

@inproceedings{ALPQ00,
AUTHOR = {J. J. Alferes and J. A. Leite and L. M. Pereira and P. Quaresma},
Title = {Planning as Abductive Updating},
Booktitle = "Procs. of AISB 2000",
Editor = "D. Kitchin",
Year = 2000
}

@inproceedings{ALPPP98,
AUTHOR = "J. Alferes and J. Leite and L. M. Pereira and H. Przymusinska and T. Przymusinski",
TITLE = "Dynamic Logic Programming",
BOOKTITLE = "Procs of the Sixth Interntional Workshop on Knowledge Representation and Reasoning",
PAGES = "98-109",
YEAR = 1998 }

@article{ALPPP00,
AUTHOR = "J. Alferes and J. Leite and L. M. Pereira and H. Przymusinska and T. Przymusinski",
TITLE = "Dynamic Updates of Non-Monotonic Knowledge Bases",
Journal = JLP,
Volume = 45, 
Number = "1-3",
Pages = "43-70",
Year = 2000}

@inproceedings{AlPe92,
AUTHOR = "J. Alferes and L. M. Pereira",
TITLE = "On Logic Program Semantics with two kinds of negation",
BOOKTITLE = JICSLP,
EDITOR = "K. Apt",
PAGES = "574-589",
YEAR = 1992}

@book{AlPe95,
AUTHOR = "J. Alferes and  L. M. Pereira",
TITLE = "Reasoning with Logic Programming",
Publisher = SPRINGER,
Series = "Lecture Notes in Artificial Intelligence",
Address = "Berlin Germany",
Volume = "1111",
YEAR = 1996}

% Editor = "B. Neumann",
%Address = "New York",
@inproceedings{PeAl92,
Author = "L. M. Pereira and J. Alferes",
Title = "Well Founded Semantics for Logic Programs with Explicit
                  Negation", 
Booktitle = ECAI,
Publisher = "John Wiley and Sons",
Pages = "102-106",
Year = 1992
}

@inproceedings{AlPP95,
AUTHOR = "J. Alferes and L. M. Pereira and T. Przymusinski",
TITLE = "Belief Revision in Non-Monotonic Reasoning", 
BOOKTITLE = "Proceedings of the 7th Portugese AI Conference",
YEAR = 1995}

@inproceedings{AlPS99,
AUTHOR = "J. Alferes and L. M. Pereira and T. Swift",
TITLE = "Well-founded Abduction via Tabled Dual Programs", 
Booktitle = ICLP,
Pages = "426-440",
YEAR = 1999}

@unpublished{AlPS01,
AUTHOR = "J. Alferes and L. M. Pereira and T. Swift",
TITLE = "Well-founded Abduction and Generalized Stable Models via
                  Tabled Dual Programs",  
Note = "Full version of paper presented in ICLP 1999, pp. 426-440",
YEAR = 2001}

@inproceedings{ AK90,
AUTHOR = "K. Ali and R. Karlsson",
TITLE = "The {M}use or-parallel {P}rolog model and its performance",
BOOKTITLE = "NAACLP '90",
YEAR = 1990 }

@book{ALL87,
AUTHOR = "J. Allen",
TITLE = "Natural Language Understanding",
PUBLISHER = "Benjamin Cummings",
YEAR = 1987}

@techreport{AlAl95,
AUTHOR = "I. de Almeida Mor\'a and J. Alferes",
TITLE = "Modelling Diagnosis Systems with Logic Programming",
INSTITUTION = "Univ. Nova de Lisboa",
YEAR = 1995}

@inproceedings{AnBM98,
AUTHOR = "G. Antoniou and D. Billington and M. Maher",
TITLE = "Normal forms for defeasible logic",
Booktitle = ICLP,
Publisher = MIT,
Year = 1998}

%Address = "Los Altos Ca.",
@inproceedings{ABW88,
AUTHOR = "K. Apt and H. Blair and A. Walker",
TITLE = "Towards a Theory of Declarative Knowledge",
BOOKTITLE = "Foundations of Deductive Databases and Logic Programming",
EDITOR = "J.~Minker",
PUBLISHER ="Morgan Kaufmann",
PAGES = "19-88",
YEAR = 1988}

@inproceedings{BCR93,
author = "L. Bachmair and T. Chen and I. V. Ramakrishnan",
	title = "Associative-Commutative Discrimination Nets",
	booktitle = TAPSOFT,
	publisher = SV,
	series = "LNCS",
	number = 668,
	year = 1993,
        month = apr,
	pages = "61--74"}

@inproceedings{ JoBa94,
AUTHOR = "D. Jonsson and C. Backstrom",
TITLE = "Tractible Planning with State Variables by Exploiting
                  Structural Relationships",
BOOKTITLE = "Proceedings of the 12th National Conference on Artificial
                  Intelligence",
PAGES = "998-1003",
YEAR =  1994 }

@inproceedings{ BaNe93,
AUTHOR = "C. Backstrom and B. Nebel",
TITLE = "Complexity Results for $SAS^+$ Planning",
BOOKTITLE = "IJCAI-93",
YEAR =  1993 }

@inproceedings{ BaRa86,
AUTHOR = "F. Banchilhon and R. Ramakrishnan",
TITLE = "An Amateur's Introduction to Recursive Query Processing Strategies",
BOOKTITLE = SIGMOD,
PAGES = "16-52",
ORGANIZATION = "ACM",
YEAR =  1986 }

@inproceedings{ BMSU86,
AUTHOR = "F. Banchilhon and D. Maier and Y. Sagiv and J. Ullman",
TITLE = "Magic Sets and Other Strange Ways to Implement Logic Programs",
BOOKTITLE = "PODS",
ORGANIZATION = "ACM",
YEAR =  1986 }

@techreport{ Bark95,
AUTHOR = "J. Barklund",
TITLE = "Tabulation of Functions in Logic Programs",
INSTITUTION = "Uppsala University",
YEAR =  1995 }

@article{ BNST91,
AUTHOR = "C. Beeri and S. Naqvi and O. Shmueli and S. Tsur",
TITLE = "Set Constructors in a Logic Database Language",
JOURNAL = "J. Logic Programming",
VOLUME = 10,
NUMBER = 3,
PAGES = "181-232",
YEAR = 1991}

@article{ BeRa91,
AUTHOR = "C. Beeri and R. Ramakrishnan",
TITLE = "On the power of magic",
JOURNAL = "J. Logic Programming",
VOLUME = 10,
NUMBER = 3,
PAGES = "255-299",
YEAR = 1991}

@inproceedings{BRSS92,
AUTHOR = "C. Beeri and R. Ramakrishnan and D. Srivastava and S. Sudarshan",
TITLE = "The Valid Model Semantics for Logic Programs",
BOOKTITLE = "11th PODS",
PAGES = "91 -- 103",
YEAR = 1992}

@inproceedings{BRSS93,
AUTHOR = "C. Beeri and R. Ramakrishnan and D. Srivastava and S. Sudarshan",
TITLE = "Extending the Well-Founded and Valid Semantics for Aggregateion",
BOOKTITLE = ILPS,
YEAR = 1993}

@inproceedings{BEDe92,
AUTHOR = "R. Ben-Eliahu and R. Dechter",
TITLE = "Propositional Semantics for Disjunctive Logic Programs",
BOOKTITLE = JICSLP, 
Publisher = MIT,
PAGES = "813-127",
YEAR = 1992}

@inproceedings{ BeSF95,
AUTHOR = "K. Berman and J. Schlipf and J. Franco",
TITLE = "Computing the well-founded semantics faster",
BOOKTITLE = LPNMR,
PAGES = "113-125",
Publisher = SPRINGER,
YEAR =  1995 }

@article{BiFr91,
AUTHOR = "N. Bidoit and C. Froidevaux",
TITLE = "Negation by default and unstratifiable logic programs",
Journal = "Theoretical Computer Science",
Volume = 78,
pages = "85-112",
YEAR = 1991}

@inproceedings{BiLe90,
AUTHOR = "N. Bidoit and P. Legay",
TITLE = "Well!: an evaluation procedure for all logic programs",
BOOKTITLE = ICLP,
pages = "335-348",
YEAR = 1990}

@article{BlSu89,
AUTHOR = {H. Blair and V. S. Subrahmanian},
TITLE = "Paraconsistent Logic Programming",
JOURNAL = "Theoretical Computer Science",
Volume = 68,
Pages = "135-154",
YEAR = 1989}

@article{Bol93,
AUTHOR = "R. Bol",
TITLE = "Loop Checking in Partial Deduction",
Journal = "Journal of Logic Programming",
VOLUME = 16,
PAGES = "25-46",
YEAR = 1993 }

@inproceedings{ BoDe93a,
AUTHOR = "R. Bol and L. Degerstedt",
TITLE = "The Underlying Search for Magic Templates and Tabulation",
BOOKTITLE = ICLP,
PAGES = "793-812",
YEAR = 1993 }

@inproceedings{ BoDe93b,
AUTHOR = "R. Bol and L. Degerstedt",
TITLE = "Tabulated Resolution for Well-Founded Semantics",
BOOKTITLE = "Proc. of the Symposium on Logic Programming",
YEAR = 1993 }

@article{ BoDe98,
AUTHOR = "R. Bol and L. Degerstedt",
TITLE = "Tabulated Resolution for Well-Founded Semantics",
Journal = "Journal of Logic Programming",
Volume = 38,
Number = 1,
Month = "February",
Pages = "31-55",
YEAR = 1998 }

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

@inproceedings{ BORR1,
AUTHOR = "G. Borriello and A. Cherenson and P. Danzig and M. Nelson",
TITLE = "RISCs vs. CISCs for {P}rolog: A Case Study",
BOOKTITLE = "Second International Conference on Architectural Support for 
Programming Languages and Operating Systems",
ORGANIZATION = "IEEE Computer Society",
YEAR = 1987 }

@article{ Boul97,
AUTHOR = "D. Boulanger",
Title = "Fine-Grained Goal-Directed Declarative Analysis of Logic Programs",
Journal = "Proceedings of the International Workshop on Verification, Model Checking and Abstract Interpretation",
Note = "Available through http://www.dsi.unive.it/$\tilde{\ }$bossi/VMCAI.html",
YEAR = 1997}

@article{ BGLM94,
AUTHOR = "A. Bossi and M. Gabrielli and G. Levi and M. Martelli",
Title = "The {S}-semantics approach: theory and applications",
Journal = "Journal of Logic Programming",
Volume = 19,
Pages = "149-197",
YEAR = 1994}

@inproceedings{ Bras96,
AUTHOR = "S. Brass",
TITLE = "{SLDMagic} --- An Improved Magic Set Technique",
BOOKTITLE = "Advances in Databases and Information Systems",
EDITOR = "B. Novikov and J. Schmidt",
YEAR = 1996 }

@article{BDFZ00,
Author = {S. Brass and J. Dix and B. Freitag and U. Zukowski},
TITLE = {Transformation-based Bottom-up Computation of the Well-Founded Model},
Journal = {Theory and Practice of Logic Programming},
Note = {To appear},
Year = 2000
}

@article{ Brew96, 
AUTHOR = "G. Brewka", 
Title = "Well-founded semantics for extended logic programs with
                  dynamic preferences", 
Journal = "Journal of Artificial Intelligence Research", 
Volume = 4, 
Pages = "19-36",
YEAR = 1996}

@inproceedings{ BreE98, 
AUTHOR = "G. Brewka and T. Eiter", 
Title = "Preferred Answer Sets", 
Booktitle = "Proceedings of the 6th Conference on Principles of
                  Knowledge Representation and Reasoning",  
Pages = "86-97",
Publisher = "Morgan Kaufmann",
YEAR = 1998}

@manuscript{ BreE99, 
AUTHOR = "G. Brewka and T. Eiter", 
Title = "Preferred Answer Sets for Extended Logic Programs", 
Note = {Full version of paper originally published in Proceedings of
the 6th Conference on Principles of Knowledge Representation and
Reasoning}, 
YEAR = 1999}

@inproceedings{ BrWa84,
AUTHOR = "D.R. Brough and A. Walker",
TITLE = "Some practical properties of logic programming interpreters",
BOOKTITLE = "International Conference on FIfth Generation Computer Systems",
EDITOR = "H. Aiso",
PAGES = "149-158",
YEAR = 1984 }

@inproceedings{ BRUY82,
AUTHOR = "M. Bruynooghe",
TITLE = "The Memory Management of Prolog Implementations",
BOOKTITLE = "Logic Programming",
EDITOR = "K.L. Clark and S.A. Tarnlund",
PUBLISHER = "Academic Press",
PAGES = "83-98",
YEAR = 1982 }

@inproceedings{ Bry90,
AUTHOR = "F. Bry",
TITLE = "Query Evaluation in Recursive Databases: Bottom-up and
		  Top-down Reconciled",
BOOKTITLE = "Deductive and Obkect-Oriented Databases",
PAGES = "25-44",
YEAR = 1990 }

@inproceedings{Brzo91,
AUTHOR = "C. Brzoska",
TITLE = "Temporal Logic Programming and its relation to Constraint
		  Logic Programming",
BOOKTITLE = ILPS,
PAGES = "661-678",
YEAR = 1991}

@inproceedings{Brzo93,
AUTHOR = "C. Brzoska",
TITLE = "Temporal Logic Programming with Bounded Universal Modality Goals",
BOOKTITLE = ICLP,
PAGES = "239-256",
YEAR = 1993}

@article{ BUCK62,
AUTHOR = "R. Buck",
TITLE = "Reflexive Predictions",
YEAR = 1962}

@techreport{ciao-man,
     author={F. Bueno and D. Cabenza and M. Carro and M. Hermenegildo 
             and P. L\'{o}pez-Garc\'{\i}a and G. Puebla}, 
     title={The Ciao Prolog system, Reference Manual},
     institution={School of Computer Science, Technical University of Madrid},
     note={Available from http://www.clip.dia.fi.upm.es/}
}

@inproceedings{BDLO88,
AUTHOR = "R. Butler and T. Disz and E. Lusk and R. Olson 
					    and R. Overbeek and R. Stevens",
TITLE = "Scheduling OR-Parallelism: An Argonne Perspective",
BOOKTITLE = JICSLP,
PAGES = "1590-1608",
YEAR = 1988}

@inproceedings{ Carl87,
AUTHOR = "M. Carlsson",
TITLE = "Freeze, Indexing, and Other Implementation Issues in the {WAM}",
BOOKTITLE = ICLP,
YEAR = 1987 }

@inproceedings{ Carl89,
AUTHOR = "M. Carlsson",
TITLE = "On the Efficiency of Optimising Shallow Backtracking in Compiled 
{P}rolog",
BOOKTITLE = ICLP,
YEAR = 1989 }

@inproceedings{ CaGr93,
Author = "M. Carlsson and M. Grindal",
Title = "Automatic Frequency Assignment for Cellular Telephones Using
		  Constraint Satisfaction Technidues",
BOOKTITLE = ICLP,
PAGES = "647-665",
YEAR = 1993 }


% In portuguese:
@mastersthesis{C00,
AUTHOR = "J.F.Castro",
TITlE = {Verifica\c{c}\~{a}o Abdutiva de um Sistema de Diagn\'{o}stico
                  Baseado em Regras (Abductive verification of a rule based diagnosis system)}, 
SCHOOL = {Universidade Nova de Losboa},
Month = "December",
Year = 2000,
Note = "In Portuguese"}


@inproceedings{Chan88,
AUTHOR = "D. Chan",
TITLE = "Constructive Negation based on the Completed Database",
BOOKTITLE = JICSLP,
PAGES = "111-125",
YEAR = 1988}

@book{ChLe73,
AUTHOR = "C.L. Chang and R.C.T. Lee",
TITLE = "Symbolic Logic and Mechanical Theorem Proving",
PUBLISHER = "Academic Press",
YEAR = 1973}
Kluwer Academic Publishers

@inproceedings{ CRR92, 
AUTHOR = "T. Chen and I.V. Ramakrishnan and R. Ramesh", 
TITLE = "Multistage Indexing Algorithms for Speeding {P}rolog
Execution", 
BOOKTITLE = JICSLP,
PAGES = "639-653",
YEAR = 1992 }

@inproceedings{CW88,
AUTHOR = "W. Chen and D. S. Warren",
TiTLE = "C-Logic of Complex Objects",
BOOKTITLE = "Proc. of 8th PODS",
PAGES = "369 - 378",
YEAR = 1989}

@techreport{ChAd93,
AUTHOR = "W. Chen and L. Adams",
TITLE =  "Constructive Negation of General Logic Programs",
INSTITUTION = "SMU",
YEAR = 1994 }

@techreport{LiAC96,
AUTHOR = "J. Liu and L. Adams and W. Chen",
TITLE =  "Constructive Negation under the Well-Founded Semantics",
INSTITUTION = "SMU",
YEAR = 1996 }

@article{Chen94,
AUTHOR = "W. Chen",
TITLE =  "Query Evaluation of Alternating Fixpoint Logic",
Journal = TODS,
YEAR = 1996 }

@article{ CKW93,
AUTHOR = "W. Chen and M. Kifer and D. S. Warren",
TITLE = "{HiLog}: A Foundation for Higher-Order Logic Programming",
JOURNAL = "J. Logic Programming",
VOLUME = 15,
NUMBER = "3",
PAGES =  "187-230",
YEAR = 1993}

@inproceedings{ CW92,
AUTHOR = "W. Chen and D.S Warren",
TITLE = "A goal-oriented approach to computing well founded semantics",
BOOKTITLE = JICSLP,
YEAR = 1992}


@ARTICLE{CheW96,
AUTHOR = {W. Chen and D. S. Warren},
    TITLE = {Tabled {E}valuation with {D}elaying for
             {G}eneral {L}ogic {P}rograms},
  JOURNAL = JACM,
    PAGES = {20--74},
   VOLUME = {43},
   NUMBER = {1},
     YEAR = {1996},
    MONTH = {January}
}

@inproceedings{CW93b,
Title={Query Evaluation under the Well-Founded Semantics},
Author={W. Chen and D. S. Warren},
BOOKTITLE = "Proc. of 12th PODS",
Year={1993}	}.

@article{CSW95,
AUTHOR = "W. Chen and T. Swift and D. S. Warren",
TITLE =  "Efficient top-down computation of queries 
		under the well-founded semantics",
JOURNAL = "J. Logic Programming",
Volume = "24",
Number = 3,
Month = "September",
Pages = "161-199",
YEAR = 1995 }

@article{CW93a,
AUTHOR = "W. Chen and D. S. Warren",
TITLE =  "Computation of Stable Models and its Integration with
		  Logical Query Evaluation",
JOURNAL = "IEEE Transactions on Knowledge and Data Engineering",
YEAR = 1995}

@article{ CGK90,
AUTHOR = "D. Chimenti and R. Gamboa and R. Krishnamurthy
	 and S. Naqvi and S. Tsur and C. Zaniolo",
TITLE = "The {LDL} System Prototype",
JOURNAL = "IEEE Transactions on Knowledge and Data Engineering",
VOLUME = 2,
PAGES =  "76-89",
YEAR = 1990}

@inproceedings{CMMT95,
Author = "P. Cholewinski and V.W. Marek and A. Mikituik and M. Truszczynski",
Title = "Experimenting with Nonmonotonic Reasoning",
BOOKTITLE = ICLP,
EDITOR = "L. Sterling",
PAGES = "267-282",
YEAR = 1995}

@article{ CHH89,
AUTHOR = "A. Ciepielwski and S. Haridi and B. Hausman",
TITLE = "Or-parallel {P}rolog on shared memory multiprocessors",
JOURNAL = "J. Logic Programming",
VOLUME = 7,
PAGES = "125-147",
YEAR = 1989 }

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

@article{ Clev90,
AUTHOR = "R. Cleaveland",
TITLE = "Tableau-Based Model Checking in the Propositional Modal Mu-Calculus",
JOURNAL = "Acta Informatica",
PAGES = "725-747",
YEAR = 1990 }

@article{ CPS93,
AUTHOR = "R. Cleaveland and J. Parrow and B. Steffen",
TITLE = "The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems",
JOURNAL = "ACM Transactions on Programming Languages and Systems",
PAGES = "36-73",
Publisher = ACM,
YEAR = 1993 }

@inproceedings{ CoDe93,
AUTHOR = "M. Codish and B. Demoen",
TITLE = "Analysing Logic Programs Using ``{Prop}''-ositional Logic
Programs and a Magic Wand",
BOOKTITLE = ICLP,
PAGES = "114-130",
YEAR = 1993 }

@ARTICLE{ CoDS98,
     AUTHOR = {M. Codish and B. Demoen and K. Sagonas},
      TITLE = {{Semantics-Based Program Analysis for Logic-Based Languages
                using XSB}},
    JOURNAL = {Springer International Journal of Software Tools for
               Technology Transfer},
     VOLUME = {2},
     NUMBER = {1},
      PAGES = {29--45},
      MONTH = nov,
       YEAR = 1998}

@article{ CKC83,
AUTHOR = "A. Colmerauer and H. Kanoui and M. V. Canaghem",
TITLE = "{P}rolog, theoretical principles and current trends.",
JOURNAL = "Technology and Science of Informatics",
VOLUME = 2,
NUMBER = 4,
PAGES = "255-292",
YEAR = 1983 }

@techreport{CMV94,
author = "M. Consens and A. Mendelzon and D. Vista",
title = "Deductive database support for data visualization",
institution = "U. Toronto",
YEAR = 1994 }

@article{cdt91,
Author="L. Console and D. Dupr\'e and P. Torasso" ,
Title="On the relationship between abduction and deduction" ,
journal = "Journal of Logic and Computation" ,
year="1991" ,
volume="1" ,
number="5" ,
pages="661-690",
}

@article{JaGM98,
author = "B. Jayaraman and K. Govindarajan and S. Mantha",
title = "Preference Logic Grammars",
Journal = "Computer Languages",
Vol = 24,
Note = "179-196",
YEAR = 1998 }

@inproceedings{ CuSW99a,
AUTHOR = {B. Cui and T. Swift and D. S. Warren},
TITLE = "A Case Study in Using Preference Logic Grammars for Knowledge
                  Representation", 
Booktitle = LPNMR,
Publisher = SPRINGER,
Note = "LNAI 1730",
Pages = "206-220",
YEAR = 1999 }

@article{ CuSw01,
AUTHOR = {B. Cui and T. Swift},
TITLE = "Preference Logic Grammars: Fixed-Point Semantics 
         and Application to Data Standardization",
Journal = "Artificial Intelligence",
Note = "To Appear",
YEAR = 2001 }

@inproceedings{ CuSW99b,
AUTHOR = {B. Cui and T. Swift and D. S. Warren},
TITLE = "From Tabling to Transformation: Implementing Non-Ground
                  Residual Programs", 
Booktitle = "International Workshop on Implementations of Declarative
                  Languages",
YEAR = 1999 }

@unpublished{ CuiW99,
AUTHOR = {B. Cui and D. S. Warren},
TITLE = "Mutable Terms in a Tabled Logic Programming System" ,
Booktitle = ICLP,
NOTE = "To Appear",
YEAR = 1999 }

% LNCS 1490
@inproceedings{CDDK98,
AUTHOR = {B. Cui and Y. Dong and X. Du and K. Kumar and
                  C. R. Ramakrishnan and I. V. Ramakrishnan and
                  A. Roychoudhury and S. Smolka and D. S. Warren}, 
Title = "Logic Programming and Model Checking",
Booktitle = "PLILP 98",
Pages = "1-20",
Publisher = SPRINGER,
Year = 1998}

@inproceedings{DaNP94,
Author="C. Dam\'asio and W. Nejdl and L. M. Pereira",
Title= "Revise: an extended logic programming system for revising
		  knowledge bases",
Booktitle = "Knowledge Representation and Reasoning",
Pages = "607-628",
Year = 1994}

@inproceedings{DNPS95,
Author="C. Dam\'asio and W. Nejdl and L. M. Pereira and M. Schroeder",
Title= "Model-based Diagnosis Preferences and Strategies 
	Representation with Logic Meta-Programming",
Booktitle = "Meta-logics and Logic Programming",
Pages = "269-311",
Year = 1995}

@phdthesis{Dama96,
Author ="C. Dam\'asio",
Title = "Paraconsistent Extended Logic Programming with Constraints",
School = "Univ. Nova de Lisboa",
Year = 1996}

@incollection{DamP98,
Author = "C. V. Dam\'{a}sio and L. M. Pereira",
Title = " A Survey on Paraconsistent Semantics for Extended Logic Programas",
Booktitle = "Handbook of Defeasible Reasoning and Uncertainty
                  Management Systems", 
Editor = "D.M. Gabbay and Ph. Smets",
Volume = 2, 
Publisher = "Kluwer Academic Publishers",
Year = 1998,
Pages = "241-320",
}

@inproceedings{DaPe95,
Author="C. Dam\'asio and L. M. Pereira",
Title= "Abduction over 3-valued Extended Logic Programs",
Booktitle = LPNMR,
Publisher = SPRINGER,
Note = "LNAI 1265",
Pages = "29-42",
Year = 1995
}

@inproceedings{DaPS99,
Author="C. Dam\'asio and L. M. Pereira and T. Swift",
Title= "Coherent Well-Founded Annotated Programs",
Booktitle = LPNMR,
Publisher = SPRINGER,
Pages = "262-276",
Year = 1999
}

@inproceedings{ DYHR00,
author = "H. Davulcu, G. Yang, M. Kifer and I.V. Ramakrishnan",
title= "Design and Implementation of the Physical Layer
          in WebBases: The XRover Experience",
Booktitle= "Intl. Conference on Computational Logic, DOOD-2000 stream",
Year=2000 }

@phdthesis { Daws95,
AUTHOR = "S. Dawson and C.R. Ramakrishnan and I.V. Ramakrishnan and R. Sekar",
TITLE = "Theory and Practice of Deterministic Evaluation of Logic
                  Programs",
School = "SUNY at Stony Brook",
YEAR = 1995 }
 
@inproceedings{ DRRS93,
AUTHOR = "S. Dawson and C.R. Ramakrishnan and I.V. Ramakrishnan and R. Sekar",
TITLE = "Extracting Determinacy in Logic Programs",
BOOKTITLE = ICLP,
PAGES = "",
YEAR = 1993 }
 
@inproceedings{DRRSSSW94,
author = "S. Dawson and C. R. Ramakrishnan and I. V. Ramakrishnan
            and K. Sagonas and S. Skiena and T. Swift and D. S. Warren",
title = "Unification Factoring for Efficient Execution of Logic Programs",
BOOKTITLE = "Proc. of the 22nd Symposium on Principles of Programming Languages",
ORGANIZATION = "ACM",
PAGES = "247-258",
year = 1995}

@article{DRSS96,
author = "S. Dawson and C. R. Ramakrishnan 
          and S. Skiena and T. Swift",
title = "Principles and Practice of Unification Factoring",
Journal = "ACM Transactions on Programming Languages and Systems",
MONTH = "September",
YEAR = 1996}

@inproceedings{DRRS95,
Author={S. Dawson and C. R. Ramakrishnan and I. V. Ramakrishnan and T. Swift},
Title={Optimizing Clause Resolution: Beyond Unification Factoring},
BOOKTITLE = ILPS,
Pages = "194--208",
Publisher = MIT,
YEAR = 1995 }

@inproceedings{DRR95,
Author={S. Dawson and C.R. Ramakrishnan and I.V. Ramakrishnan},
Title={Design and Implementation of Jump Tables for Fast Indexing of Logic Programs},
BOOKTITLE = "Proc. of PLILP 95",
YEAR = 1995 }

@inproceedings{DRW95,
AUTHOR = "S. Dawson and C.R. Ramakrishnan and D. S. Warren",
TITLE = "Using {XSB} for Abstract Interpretation",
BOOKTITLE = "Special Workshop on Abstract Interpretation",
NOTE = "Eliat, Israel.  To Appear",
YEAR = 1995 }

@inproceedings{DRW96,
AUTHOR = {S. Dawson and C. R. Ramakrishnan and D. S. Warren},
TITLE = "Practical Program Analysis Using General Purpose Logic Programming Systems --- A Case Study",
BOOKTITLE = "ACM PLDI",
MONTH = may,
PAGES = "117--126",
YEAR = 1996 }

*sh@techreport{DeRa93,
Author={S. Debray and R. Ramakrishnan},
Title={Generalized Horn Clause Programs},
Institution={ILPS'94 Workshop on Programming with Logic Databases},
YEAR = 1993 }

@article{ DEBR1,
AUTHOR = "S. Debray and P. Mishra",
TITLE = "Denotational and Operational Semantics for {P}rolog",
JOURNAL = "J. Logic Programming",
VOLUME = 5,
PAGES = "61-91",
YEAR = 1988 }

@article{DW89,
   author = "S. Debray and D. S. Warren",
   title = "Functional Computations in Logic Programs",
   journal = TOPLAS,
   year = 1989,
   volume = 11,
   number = 3,
   month = jul,
   pages = "451--481"}

@INPROCEEDINGS{DeNi94,
   AUTHOR = {Degerstedt, Lars and Nilsson, Ulf},
    TITLE = {{Magic Computation for Well-founded Semantics}},
    PAGES = {181--204},
   BOOKTITLE = {Non-Monotonic Extensions of Logic Programming},
       MONTH = {June},
        YEAR = {1994},
      EDITOR = {Dix, J\"urgen and Pereira, Luis Moniz and
                Przymusinski, Teodor C.},
   PUBLISHER = SPRINGER,
      SERIES = {LNAI},
      NUMBER = {927},
}

@inproceedings{ DeSu97,
AUTHOR = {A. Dekhtyar and V. S. Subrahmanian},
TITLE = "Hybrid Probabilistic Programs",
BOOKTITLE = ICLP,
PAGES = "391-407",
Publisher = MIT,
YEAR = 1997 }

@article{DeSu99,
AUTHOR = {A. Dekhtyar and V. S. Subrahmanian},
TITLE = "Hybrid Probabilistic Programs",
JOURNAL = JLP,
Note = "To appear",
YEAR = 1999 }

@inproceedings{DeST00,
AUTHOR = {J. Delgrande and T. Schaub and H. Tompits },
TITLE = "Logic Programs with Compiled Preferences",
Booktitle = "8th International Workshop on Non-Motonic Reasoning",
YEAR = 2000 }

@inproceedings{ DeSa98a,
AUTHOR = "B. Demoen and K. Sagonas",
TITLE = "{CAT}: A Copying Approach to Tabling",
BOOKTITLE = "PLILP",
PAGES = "21-35",
YEAR = 1998 }

@INPROCEEDINGS{DeSa98b,
     AUTHOR = {B. Demoen and K. Sagonas},
      TITLE = {{Memory Management for Prolog with Tabling}},
      PAGES = {97--106},
  BOOKTITLE = {Proceedings of ISMM'98: ACM SIGPLAN International
                Symposium on Memory Management},
       YEAR = {1998},
}
%      MONTH = oct,
%    ADDRESS = {Vancouver, B.C., Canada},
%  PUBLISHER = {ACM Press}

@INPROCEEDINGS{ DeSa99a,
AUTHOR = {B. Demoen and K. Sagonas},
TITLE = {{CHAT: the Copy-Hybrid Approach to Tabling}},
BOOKTITLE = {Practical Aspects of Declarative Languages:
               First International Workshop},
Year = 1999
}

@INPROCEEDINGS{ DeSa99b,
AUTHOR = "B.~Demoen and K.~Sagonas",
TITLE =  "CHAT is $\Theta$(SLG-WAM)",
Booktitle = "Proceedings of the 6th International Conference on Logic
                  for Programming and Automated Reasoning",  
PAGES = "337--357",
YEAR = 1999
}

@inproceedings{ DeDe92,
AUTHOR = "M. Denecker and D. De Schreye",
TITLE = "{SLDNFA}: An abductive procedure for normal abductive programs",
BOOKTITLE = JICSLP,
PAGES = "868-700",
Publisher = MIT,
YEAR = 1992}

@inproceedings{ DMP93,
AUTHOR = "M. Derr and S. Morishita and G. Phipps",
TITLE = "Design and Implementation of the {Glue-Nail} Database System",
BOOKTITLE = SIGMOD,
ORGANIZATION = "ACM",
PAGES = "147-156",
YEAR = 1993 }

@article{ DeDe1,
AUTHOR = "D. De Schreye  and S. Decorte",
TITLE = "Termination of Logic Programs: The Never-Ending Story",
JOURNAL = "J. Logic Programming",
VOLUME = 19,
PAGES = "199-260",
YEAR = 1994 }

@book{Devl80,
AUTHOR = "K. Devlin",
TITLE = "Fundamentals of Contemporary Set Theory",
PUBLISHER = SPRINGER,
Address = "Berlin Germany",
Year = 1980}

@unpublished{diagnostica,
KEY = "Diagnostica",
TITLE = "Diagnostica",
Note = {Available from {M}edicine {R}ules {I}nc: http://medicinerules.com},
}

@inproceedings{ DiCo93,
AUTHOR = "D. Diaz and P. Codogenet",
TITLE = "A Minimal Extension of the WAM for {CLP(FD)}",
BOOKTITLE = ICLP,
PAGES = "774-792",
YEAR = 1993 }

@phdthesis{ Diet87,
AUTHOR = "S. Dietrich",
TITLE = "Extension Tables for Recursive Query Evaluation",
SCHOOL = "SUNY at Stony Brook",
YEAR = 1987 }

@article{ DiFG83,
AUTHOR = "E. Dijkstra and W. Feijen and A. van Gasteren",
TITLE = "Derivation of a termination detection algorithm for
		  distributed computations",
BOOKTITLE = "Information Processing Letters",
PAGES = "217-219",
YEAR = 1983 }

@article{ DSVH90,
AUTHOR = "M. Dincbas and H. Simonis and P. Van Hentenryck",
TITLE = "Solving Large Combinitorial Problems in Constraint Logic Programming",
JOURNAL = "Journal of Logic Programming",
Volume = 8,
YEAR = 1987 }

@inproceedings{ DLO87,
AUTHOR = "T. Disz and E. Lusk and R. Overbeek",
TITLE = "Experiments with Or-Parallel Logic Programs",
BOOKTITLE = ICLP,
PAGES = "576-600",
YEAR = 1987 }

@inproceedings{ Dix91,
AUTHOR = "J. Dix",
TITLE = "Classifying Semantics of Logic Programs",
BOOKTITLE = LPNMR,
PAGES = "166-180",
YEAR = 1991 }

@manuscript{ DiSw01,
AUTHOR = "J. Dix and T. Swift",
TITLE = "Linear Subclasses of the Well-Founded Semantics",
Note = "In preparation",
YEAR = 2001 }

@BOOK{DSM-IV,
    Key = {Diagnostic and Statistical Manual of Mental Disorders},
    TITLE = {Diagnostic and Statistical Manual of Mental Disorders},
PUBLISHER = {American Psychiatric Association},
  ADDRESS = {Washington,DC},
  NOTE = {Prepared by the Task Force on DSM-IV and other committees
and work groups of the American Psychiatric Association},
  YEAR = {1994},
  EDITION = {4th}
}

@inproceedings{ DoLa92,
AUTHOR = "F. Dong and L.V. Lakshmanan", 
TITLE = "Deductive Databases with Incomplete Information", 
BOOKTITLE = JICSLP,
YEAR = 1992 }

@article{ DoFe95,
AUTHOR = "R. G. Downey and M.R. Fellows",
TITLE = "Fixed Parameter Tractability and Completeness {I}: Basic Results",
Journal = "SIAM J. Computing",
Volume = 24,
PAGES = "873-921",
YEAR = 1995 }

@inproceedings{ Dung91, 
AUTHOR = "P. Dung", 
TITLE = "Negation as Hypothesis: An Abductive Foundation for Logic
                  Programming" , 
BOOKTITLE = ICLP,
PAGES = "1-17", 
YEAR = 1991 }

@inproceedings{ Dung93, 
AUTHOR = "P. Dung", 
TITLE = "An Argumentation Semantics for Logic Programming with
	Explicit Negation", 
BOOKTITLE = ICLP,
PAGES = "616-630", 
YEAR = 1993 }

@book{ DOBR1,
AUTHOR = "T. P. Dobry",
TITLE = "A High Performance Architecture for {P}rolog",
PUBLISHER = "Kluwer Academic Publishers",
YEAR = 1988 }

@inproceedings{DoRo93,
AUTHOR = "A. Dovier and G. Rossi",
TITLE = "Embedding Extensional Finite Sets in {CLP}",
BOOKTITLE = ILPS,
PAGES = "540-556",
YEAR = 1993}

@article{ Earl70,
AUTHOR = "Jay Earley",
TITLE = "An Efficient Context-Free Parsing Algorithm",
JOURNAL = "Communications of the ACM",
VOLUME = 13,
Number = 2,
PAGES = "94-102",
YEAR = 1970 }

@article{EiGo96,
       author = "Thomas Eiter and Georg Gottlob and Nicola Leone",
       title   = "{Abduction From Logic Programs: Semantics and Complexity}",
       year = 1997,
       journal = TCS,
       volume = 189,
       number = "1-2",
       month = "December",
       pages = "129--177"}

@inproceedings{ ELMPS97,
AUTHOR = "T. Eiter and N. Leone and C. Mateis and G. Pfeifer and F. Scarcello",
TITLE = "A Deductive System for Non-Monotonic Reasoning",
BOOKTITLE = LPNMR,
YEAR = 1997 }

@article{ Emde86,
AUTHOR = "M. {van Emden}",
TITLE = "Quantitative Deduction and its Fixpoint Theory",
JOURNAL = JLP,
VOLUME = 4,
PAGES = "37-53",
YEAR = 1986 }

@inproceedings{ ErLW00,
AUTHOR = "E. Erdem and V. Lifschitz and M. Wong",
TITLE = "Wire Routing and Satisfiability Planning",
BOOKTITLE = "Proceedings of Computational Logic, 2000",
YEAR = 2000 }

@inproceedings{ Syrj00,
AUTHOR = "T. Syrjanen",
TITLE = "Including Diagnostic Information in Configuration Models",
BOOKTITLE = "Proceedings of Computational Logic, 2000",
YEAR = 2000 }


@inproceedings{ EmLe86,
AUTHOR = "E. A. Emerson and C. L. Lei",
TITLE = "Efficient Model Checking in Fragments of the Propositional 
         mu-calculus",
BOOKTITLE = "Proceedings of the First Annual Conference on Logic in Computer Science",
ORGANIZATION = "IEEE",
Pages = "267-278",
YEAR = 1986 }

@inproceedings{Eshg88,
AUTHOR = "K. Eshghi",
TITLE = "Abduductive Planning with Event Calculus",
BOOKTITLE = JICSLP,
PAGES = "562-579",
YEAR = 1988}

@inproceedings{EsKo89,
AUTHOR = "K. Eshghi and R. Kowalski",
TITLE = "Abduduction Compared with Negation by Failure",
BOOKTITLE = ICLP,
YEAR = 1989}

@article{FaDi92,
AUTHOR = "C. Fan and S. Dietrich",
TITLE = "Extension Table Built-ins for Prolog",
Journal = "Software --- Practice and Experience",
VOLUME = 22,
PAGES = "573-597",
YEAR = 1992}

@article{ Fitt85,
AUTHOR = "M. Fitting",
TITLE = "A Kripke-Kleene Semantics for General Logic Programs",
JOURNAL = JLP,
VOLUME = 2,
PAGES = "295-312",
YEAR = 1985 }

@article{ Fitt91,
AUTHOR = "M. Fitting",
TITLE = "Bilattices and the Semantics of Logic Programming",
JOURNAL = JLP,
VOLUME = 11,
PAGES = "91-116",
YEAR = 1991 }

@article{ Fit91,
AUTHOR = "M. Fitting",
TITLE = "Well-Founded Semantics, Generalized",
JOURNAL = ILPS,
PAGES = "71-84",
YEAR = 1991 }

@inproceedings{FRTW88,
AUTHOR = "N. Foo and A. Rao and A. Taylor and A. Walker",
TITLE = "Deduced Relevant Types and Constructive Negation",
BOOKTITLE = JICSLP,
PAGES = "126-139",
YEAR = 1988}

@techreport{Fr94,
AUTHOR = "J. Freire",
TITLE = "Parallel Logic Programming",
INSTITUTION = "SUNY at Stony Brook",
YEAR = 1988}

@techreport{FHSW94,
AUTHOR = "J. Freire and R. Hu and T. Swift and D. S. Warren",
TITLE = "Parallelizing Tabled Evaluation",
INSTITUTION = "SUNY at Stony Brook",
NOTE = "Presented in 1994 Post-{ILPS} workshop on {P}arallel {L}ogic
           {P}rogramming {S}ystems",
YEAR = 1994}

@inproceedings{FHSW95,
AUTHOR = "J. Freire and R. Hu and T. Swift and D. S. Warren",
TITLE = "Parallelizing Tabled Evaluation",
BOOKTITLE = "7th International PLILP Symposium",
PUBLISHER = SPRINGER,
PAGES = "115-132",
YEAR = 1995}

@inproceedings{ FRSSW97, 
AUTHOR = "J. Freire and P. Rao and K. Sagonas and T. Swift and
                  D. S. Warren",  
TITLE = "{XSB}: A system for efficiently computing the well-founded
                  semantics", 
BOOKTITLE = LPNMR,
Publisher = SPRINGER,
PAGES = {430--440},
YEAR = 1997}

@inproceedings{FrSW96,
AUTHOR = "J. Freire and T. Swift and D. S. Warren",
TITLE = "Beyond Depth-First: Improving Tabled Logic Programs through
                  Alternative Scheduling Strategies",
BOOKTITLE = "8th International PLILP Symposium",
PUBLISHER = SPRINGER,
YEAR = 1996}

@inproceedings{FrSW97,
AUTHOR = "J. Freire and T. Swift and D. S. Warren",
TITLE = "Treating {I/O} Seriously: Resolution Reconsidered for Disk",
BOOKTITLE = ICLP,
Pages = "198-212",
YEAR = 1997}

@article{FrSW98, 
AUTHOR = {J. Freire and T. Swift and D. S. Warren},
Title = {Beyond Depth-First: Improving Tabled Logic Programs through
Alternative Scheduling Strategies}, 
Journal = {Journal of Functional and Logic Programming}, 
volume = 1998,
number = 3,
Year = 1998 }

@techreport{FrSW98a, 
AUTHOR = {J. Freire and T. Swift and D. S. Warren},
Title = {A Framework for Scheduling Strategies in SLG},
Institution = {SUNY Stony Brook},
Year = 1998 }

@techreport{FSW95a,
AUTHOR = "J. Freire and T. Swift and D. S. Warren",
TITLE = "An Alternative Scheduling Strategy for the SLG-WAM",
INSTITUTION = "SUNY at Stony Brook",
YEAR = 1995}

@article{FunK96,
AUTHOR = "T. Fung and R. Kowalski",
TITLE = "The {IFF} Proof Procedure for Abductive Logic Programming",
JOURNAL = JLP,
Volume = 33,
Number = 2,
Pages = "151-165",
YEAR = 1997}

@article{ GaDL95,
AUTHOR = "M. Gabrielli and G. Dore and G. Levi",
Title = "Observable Semantics for Constraint Logic Programs",
Journal = "Journal of Logic and Computation",
Volume = 5,
Pages = "133-171",
YEAR = 1995}

@phdthesis{ Hong93,
AUTHOR = "H. Gao",
TITLE = "Declarative Picture Description and Interpretation in Logic",
School = "Department of Computer Science, SUNY at Stony Brook",
YEAR = 1993 }

@book{ GaJo79,
AUTHOR = "M. Garey and D. Johnson",
TITLE = "Computers and Intractibility: 
                   A Guide to the Theory of NP-Completness",
PUBLISHER = "W.H. Freeman and Company",
YEAR = 1979 }

@inproceedings{ GSTPD00a,
AUTHOR = "J. Gartner and T. Swift and A. Tien and L. M. Pereira and
                  C. Dam\'asio", 
TITLE = "Psychiatric Diagnosis from the Viewpoint of Computational Logic",
Booktitle = "8th International Workshop on Non-Monotonic Reasoning",
YEAR = 2000 }

@inproceedings{ GSTPD00,
AUTHOR = "J. Gartner and T. Swift and A. Tien and L. M. Pereira and
                  C. Dam\'asio", 
TITLE = "Psychiatric Diagnosis from the Viewpoint of Computational Logic",
Booktitle = "International Conference on Computational Logic",
PUBLISHER = SPRINGER,
Note = "LNAI 1861",
Editor = "Lloyd et. al",
Pages = "1362-1376",
YEAR = 2000 }

@book{ GaMe89,
AUTHOR = "G. Gazdar and C. Mellish",
TITLE = "Natural Language Processing in {P}rolog",
PUBLISHER = "Addison Wesley",
YEAR = 1989 }

@inproceedings{ Ge87,
AUTHOR = "M. Gelfond",
TITLE = "On stratified Auto-epistemic theories",
BOOKTITLE = "AAAI",
PAGES = "207-211",
YEAR = 1987 }

@inproceedings{ GeLi88,
AUTHOR = "M. Gelfond and V. Lifshitz",
TITLE = "The stable model semantics for logic programming",
BOOKTITLE = JICSLP,
PAGES = "1070-1080",
Publisher = MIT,
YEAR = 1988 }

@inproceedings{ GeLi90,
AUTHOR = "M. Gelfond and V. Lifshitz",
TITLE = "Logic Programs with Classical Negation",
BOOKTITLE = ICLP,
PAGES = "579-597",
Publisher = MIT,
YEAR = 1990 }

@inproceedings{ GeLi92,
AUTHOR = "M. Gelfond and V. Lifshitz",
TITLE = "Representing Actions in Extended Logic Programming",
BOOKTITLE = JICSLP,
PAGES = "559-573",
YEAR = 1992 }

@inproceedings{ GelS97,
AUTHOR = "M. Gelfond and T. C. Son",
TITLE = "Reasoning with Prioritized Defaults",
BOOKTITLE = "Logic Programming and Knowledge Representation",
Publisher = "Springer-Verlag",
PAGES = "164-223",
YEAR = 1997 }
%Note = "LNAI 1471",

@article{ Gins88,
AUTHOR = "M. Ginsberg",
TITLE = "Multivalued logics: A uniform approach to reasoning in artificial intelligence",
JOURNAL = "Computational Intelligence",
Volume = 4,
PAGES = "265-316",
YEAR = 1988 }

@INPROCEEDINGS{GoSS99,
AUTHOR = "G. Gottlob and F. Scarcello and M. Sideri",
TITLE = "Fixed Parameter Complexity in {AI} and Nonmonotinic Reasoning",
BOOKTITLE = LPNMR,
Pages = "1-18",
YEAR = {1999}}
%Publisher = MIT,

@INPROCEEDINGS{GoJM95,
AUTHOR = "K. Govindarajan  and B. Jayaraman and S. Mantha",
TITLE = "Preference Logic Programming",
BOOKTITLE = ICLP,
Pages = "731-746",
YEAR = {1995}}
%Publisher = MIT,

@inproceedings{ DSZ93,
AUTHOR = "S. Greco and D. Sacca and C. Zaniolo",
TITLE = "Dynamic Programming Optimization for Logic Queries with Aggregates",
BOOKTITLE = ILPS,
PAGES = "575-589",
YEAR = 1993 }

@inproceedings{ GuMu92,
AUTHOR = "A. Gupta and I. Mumick",
TITLE = "Magic Sets Transformations in Non-Recursive Systems",
BOOKTITLE = "PODS",
PAGES = "354-367",
YEAR = 1992 }

@article{HaLi91,
AUTHOR = "J. Han and L. Liu",
TITLE =  "Efficient Evaluation of Multiple Linear Recursions",
Journal = "IEEE Transactions on Software Engineering",
Volume = 17,
Number = 12,
PAGES = "1241-1252",
YEAR = "1991" }

@article{Han93,
AUTHOR = "J. Han",
TITLE =  "Compilation and Evaluation of Linear Mutual Recursions",
Journal = "Information Sciences",
Volume = 69,
PAGES = "157-183",
YEAR = "1993" }

@techreport{HLX94,
AUTHOR = "J. Han and L. Liu and Z. Xie",
TITLE =  "{LogicBase}: A deductive database system prototype",
INSTITUTION = "Simon Fraser University",
YEAR = "1994" }

@inproceedings{ HaMc86,
AUTHOR = "S. Hanks and D. McDermott",
TITLE = "Default Reasoning, non-monotonic logics and the frame problem",
BOOKTITLE = "AAAI",
PAGES = "328-333",
YEAR = 1986 }

@article{HWD92,
	author = "M. Hermenegildo and  R. Warren and S.K. Debray",
	title = "Global Flow Analysis as a practical compilation tool",
	journal = JLP,
	volume = 13,
	number = "1,2,3 and 4",
	pages = "349--366",
	year = 1992
}

@inproceedings{ HeRo89,
AUTHOR = "M. Hermenegildo and F. Rossi",
TITLE = "On the Correctness and Efficiency of Independant
And-Parallelism in Logic Programs",
BOOKTITLE = " N. Amer. Conference on Logic Programming.",
YEAR = 1989 }

@inproceedings{HeRo90,
AUTHOR = "M. Hermenegildo and F. Rossi",
TITLE = "Non-Strict Independant And-Parallelism",
BOOKTITLE = ICLP,
PAGES = "237-252",
YEAR = 1990 }

@techreport{lpdoc-man,
     author={M. Hermenehildo and the CLIP Group}, 
     title={The lpdoc Documentation Generator},
     institution={School of Computer Science, Technical University of Madrid},
     note={Available from http://www.clip.dia.fi.upm.es}
}

@article{HM89,
AUTHOR = "T.~Hickey and S.~Mudambi",
TITLE =  "Global compilation of {Prolog}",
JOURNAL = "Journal of Logic Programming", 
VOLUME = 7,
PAGES = "193--230", 
YEAR = "1989" }

@article{Hin69,
        author = "J. Hindley",
        title = "The principal type-scheme of an object in combinatory logic",
        journal = "Transactions of the American Mathematical Society",
        volume = 146,
        year = 1969,
        pages = "29--60"
        }
 
@techreport{HsZa93,
Author={P. Hsu and C. Zaniolo},
Title={A New User's Impressions on {LDL}++ and{ CORAL}},
Institution={ILPS'94 Workshop on  Programming with Logic Databases},
YEAR = 1993 }

@phdthesis{Hu97,
AUTHOR = "R. Hu",
TITLE = "Distributed Tabled Evaluation",
SCHOOL = "SUNY at Stony Brook",
Year = 1997}

@techreport{ HuSW96,
AUTHOR = "R. Hu and T. Swift and D. S. Warren",
TITLE = "Operational Semntics of Distributed Tabled Evaluation",
Institution = "SUNY at Stony Brook",
Note = "In preparation",
Year = 1996}

@inproceedings{In91,
AUTHOR = "K. Inoue",
TITLE = "Extended Logic Programs with Default Assumptions",
BOOKTITLE = ICLP,
PAGES = "490-504",
YEAR = 1991}

@article{InSa99,
Author="K. Inoue and C. Sakama" ,
Title="Computing extended abduction through transaction programs" ,
journal = "Annals of Mathematics and Artificial Intelligence",
volume = "25",
number = "3-4",
pages = "339-367",
year="1999" ,
}

@techreport{ISO,
Author = "{ISO working group JTC1/SC22}",
TITLE = "Prolog International Standard ",
Institution = "International Standards Organization",
YEAR = 1995}

@inproceedings{JaLa87,
AUTHOR = "J. Jaffar and J.-L. Lassez",
TITLE = "Constraint Logic Programming",
BOOKTITLE = "Proc. of the 14th Annual ACM Symposium on Principles of
               Programming Languages",
PAGES = "111-119",
YEAR = 1987}

@inproceedings{JMSY91,
AUTHOR = "J. Jaffar and S. Michalyov and P. Stuckey and R. Yap",
TITLE = "An Abstract Machine for {CLP(${\cal R}$)}",
BOOKTITLE = "ACM Sigplan PLDI",
YEAR = 1991}

@inproceedings{JaBD95,
AUTHOR = "G. Janssens and M. Bruynooghie and V. Dumortier",
TITLE = "A Blueprint for an Abstract Machine for the Abstract
                  Interpretation of (Constraint) Logic Programs",
BOOKTITLE = ILPS,
PAGES = "336-351",
YEAR = 1995}

@INPROCEEDINGS{JaSa98,
     AUTHOR = "G. Janssens and K. Sagonas",
      TITLE = "On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems",
  BOOKTITLE = "Tabulation in Parsing and Deduction",
       YEAR = {1998}}

@techreport{Jaya91,
AUTHOR = "B. Jayaraman",
TITLE = "The {SuRE} Programming Framework",
Institution={Dept. of Computer Science, SUNY Buffalo},
YEAR = 1991}

@article{Jaya92,
AUTHOR = "B. Jayaraman",
TITLE = "Implementation of Subset Equational Progrms",
JOURNAL = "Journal of Logic Programming", 
VOLUME = 12,
PAGES = "299--324", 
YEAR = 1992}

@techreport{JaMo94,
AUTHOR = "B. Jayaraman and K. Moon",
TITLE = "Implementation of Subset Logic Progrms",
Institution={Dept. of Computer Science, SUNY Buffalo},
YEAR = 1994}

@phdthesis{Jonk94,
AUTHOR = "C. Jonker",
TITLE = "Constraints and Negations in Logic Programs",
SCHOOL = "Utrecht University",
YEAR = 1994}

@inproceedings{JRRR99,
AUTHOR = "E. Johnson and C.R. Ramakrishnan and I.V. Ramakrishnan and P. Rao",
TITLE = "A space-efficient engine for subsumption based tabled evaluation of logic programs",
BOOKTITLE = "4th International Symposium on Functional and Logic Programming",
YEAR = 1999}
% PUBLISHER = SPRINGER,

@inproceedings{ JoMM91,
AUTHOR = "N. Jorgensen and K. Marriott and S. Michaylov",
TITLE = "Some Global Compile-Time Optimzations for CLP(${\cal R}$)",
BOOKTITLE = ILPS,
PAGES = "420-435",
YEAR = 1991 }

@article{KaKT95,
AUTHOR = "A. Kakas and R. Kowalski and F. Toni",
TITLE = "The Role of Abduction in Logic Programming",
YEAR = 1995}

@article{KaKT93,
AUTHOR = "A. Kakas and R. Kowalski and F. Toni",
TITLE = "Abductive Logic Programming",
Journal = "Journal of Logic and Computation",
Volume = 2,
Number = 6, 
pages = "719-770",
YEAR = 1993
}

%Address = "Los Altos Ca.",
@inproceedings{ KaMa90,
AUTHOR = "A. Kakas and P. Mancarella",
TITLE = "Generalized Stable Models: A Semantics for Abduction",
BOOKTITLE = ECAI,
Publisher = "Morgan-Kaufmann",
PAGES = "385-391",
YEAR = 1990 }

@inproceedings{ KaMi97,
AUTHOR = "A. Kakas and C. Mourias",
TITLE = "{ACLP}: Flexible Solutions to Complex Problems",
BOOKTITLE = LPNMR,
YEAR = 1997 }


@article{KaKa93,
AUTHOR = "T. Kanamori and T. Kawamura",
TITLE = "Abstract Interpretation based on OLDT Resolution",
JOURNAL = "Journal of Logic Programming", 
VOLUME = 15,
PAGES = "1--30", 
YEAR = 1993}

@article{Kana93,
AUTHOR = "T. Kanamori",
TITLE = "Abstract Interpretation based on Alexander Templates",
JOURNAL = "Journal of Logic Programming", 
VOLUME = 15,
PAGES = "31--54", 
YEAR = 1993}

@inproceedings{ KT88,
AUTHOR = "D. Kemp and R. Topor",
TITLE = "Completeness of a Top-Down Query Evaluation Procedure for Stratified
	Databases",
BOOKTITLE = JICSLP,
PAGES = "178-194",
YEAR = 1988 }

@INPROCEEDINGS{KeRS90,
   AUTHOR = {D.~Kemp and K. Ramamohanarao and Z. Somogyi},
    TITLE = {Right-, left- and multi-linear rule transformations that
             maintain context information},
     YEAR = {1990},
BOOKTITLE = {Proceedings of the 16th Conference on Very Large Data Bases},
    PAGES = {380--391}
}

@inproceedings{ KeSt91,
AUTHOR = "D. Kemp and P. Stuckey",
TITLE = "Semantics of Logic Programs with Aggregates",
BOOKTITLE = ILPS,
PAGES = "387-404",
YEAR = 1991 }

@article{ KLW93,
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{ 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 = JLP,
VOLUME = 12,
NUMBER = 4,
PAGES = "335-368",
YEAR = "1992" } 

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

@article{KowT96,
AUTHOR = "R. Kowalski and F. Toni",
Journal = "Artificial Intelligence and Law Journal",
Volume =  4,
Number = "3-4", 
Note = "Special Issue on Logical Models of Argumentation", 
Year = 1996
}

@article{Kozn83,
AUTHOR = "D. Kozen",
TITLE = "Results on the propositional mu-calculus",
Journal = TCS,
Volume = 27,
Number = "333-354",
YEAR = 1983}

@article{ KUK93,
AUTHOR = "K. Kukich",
TITLE = "Techniques for Automattically Correcting Words in Text",
VOL = 24,
YEAR = 1992,
PAGES = "377-441",
JOURNAL = "ACM Computing Surveys"}

@article{ Kune87,
AUTHOR = "K. Kunen",
TITLE = "Negation in Logic Programming",
JOURNAL = "JLP",
VOLUME = 7,
PAGES = "231-246",
YEAR = 1987 }

@inproceedings{ LARP98,
AUTHOR = "E. Lamma and F. Riguzzi and L. M. Pereira",
TITLE = "Strategies for Learning with Extended Logic Programs",
Booktitle = "Proceedings of the Fourth International Conference on
                  Multistrategy Learning", 
Pages = "99-108",
Year = 1998 }

@article{ LaRP99a,
AUTHOR = "E. Lamma and F. Riguzzi and L. M. Pereira",
TITLE = "Strategies in Combined Learning via Logic Programs",
JOURNAL = "Machine Learning Journal",
VOL = 38,
Number = "1 and 2",
NOTE = "To appear",
Year = 1999 }

% The system LIVE (Learning in a three-Valued Environment) has been
% developed
 to implement the above mentioned techniques\footnote{LIVE
% was
 implemented in
 \emph{XSB} Prolog \cite{XSB} and the code of
% the
 system can be found at: {\tt
% http://www-lia.deis.unibo.it/Software/LIVE/}.


@inproceedings{ LARP99b,
AUTHOR = "E. Lamma, F. Riguzzi and L. M. Pereira",
TITLE = "Learning Three-Valued Logic Programs",
BOOKTITLE = "Proceedings of the Ninth International Workshop on
                  Inductive Logic Programming", 
Pages = "30-35",
YEAR = 1999 }

@inproceedings{ LARP99c,
AUTHOR = "E. Lamma, F. Riguzzi and L. M. Pereira",
TITLE = "Agents Learning in a Three-valued Logical Setting",
EDITOR = "A. Panayiotopoulos",
BOOKTITLE = "Machine Learning and Intelligent Agents", 
YEAR = 1999 }

@book{syntactica-semantica,
	Title={Syntactica, Symantica},
	Author={R. Larson and D. S. Warren and J. Freire and K. Sagonas},
	Publisher= MIT,
        Address = "Cambridge Ma.",
	Year={1995},
	}

@book{syntactica,
Title={Syntactica},
Author={R. Larson and D. S. Warren and J. Freire and K. Sagonas},
Publisher= MIT,
Year={1995},
 pages={130 pp.} }

@book{semantica,
	Title={Semantica},
	Author={R. Larson and D. S. Warren and J. Freire and K. Sagonas},
	Publisher=MIT,
	Year={1995},
	}

%Address = "Los Altos Ca.",
@inproceedings{LMM88,
AUTHOR = "J.-L. Lassez and M. Maher and K. Mariott",
TITLE = "Unification Revisited",
BOOKTITLE = "Foundations of Deductive Databases and Logic Programming",
EDITOR = "J.~Minker",
PUBLISHER ="Morgan Kaufmann",
PAGES = "587-625",
YEAR = 1988}

@techreport{ Lefe91,
AUTHOR = "Alexandre Lefebvre",
TITLE = "Recursive Aggregates in the EKS-V1 System",
INSTITUTION = "ECRC",
NUMBER = "KB34",
YEAR = 1991 }

@inproceedings{ LeLu94,
AUTHOR = "S. Leach and J. Lu",
TITLE = "Computing Annotated Logic Programs",
Booktitle = ICLP,
Pages = "257-271",
Publisher = MIT,
YEAR = 1994 }

@inproceedings{LePe98,
AUTHOR = "J. Leite and L. M. Pereira",
TITLE = "Iterated Logic Programming Updates",
BOOKTITLE = ICLP,
Publisher = MIT,
PAGES = "265-278",
YEAR = 1998 }

@inproceedings{ LO87,
AUTHOR = "T. Lindholm and R. A. O'Keefe",
TITLE = "Efficient Implementation of a Defensible Semantics for {P}rolog",
BOOKTITLE = "Proc of the 4th ICLP",
PAGES = "21-40",
YEAR = 1987 }

@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 }

@article{LiPe97,
AUTHOR = "R. Li and L. M. Pereira",
TITLE = "Representing and Reasoning about Actions with Abductive Logic Programming",
JOURNAL = "Annals of Mathematics and Artificial Intelligence",
VOLUME = 21,
PAGES = "245-303",
YEAR = 1997}

@inproceedings{Lifs95,
AUTHOR = "V. Lifschitz",
TITLE = "{SLDNF}, Constructive Negation, and Grounding",
BOOKTITLE = ICLP,
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 = LPNMR,
EDITOR = "V.W. Marek and A. Nerode and M. Truszczynski",
PAGES = "127-142",
NOTE = "LNAI 928",
YEAR = 1995}

@inproceedings{Lin95,
AUTHOR = "C.L. Lin",
TITLE = "Optimizing Tries for Ordered Pattern-Matching is $\Pi^P_2$ complete",
BOOKTITLE = "Proceedings of the 10th IEEE Structure in Complexity Theory Conference",
PAGES = "238-244", 
YEAR = "1995"}

@inproceedings{LiOk87,
AUTHOR = "T. Lindholm  and R.A. O'Keefe",
TITLE = "Efficient Implementation of a Defensible Semantics for
		Dynamic {PROLOG} Code",
BOOKTITLE = ICLP,
PAGES = "21-39", 
YEAR = "1987"}

@book{ Lloy84,
AUTHOR = "J. W. Lloyd",
TITLE = "Foundations of Logic Programming",
PUBLISHER = SPRINGER,
Address = "Berlin Germany",
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{ Mahe88,
AUTHOR = "M. Maher",
TITLE = "Complete Axiomatization of the Algebra of Finite, Infinite
		  and Rational Trees",
BOOKTITLE = "Symposium on Logic in Computer Science",
PAGES = "348-357",
YEAR = 1988 }

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

@inproceedings{ MaMu94,
AUTHOR = "A. Mali and A. Mukerjee",
TITLE = "Robot Behavior Conflicts: Can Intelligence be Modularized?",
BOOKTITLE = "National Conference on Artificial Intelligence",
PAGES = "1279-1284",
YEAR = 1994 }

@book{ Manb89,
AUTHOR = "U. Manber",
TITLE = "Introduction to Algorithms: A Creative Approach",
PUBLISHER = "Addison-Wesley",
Address = "Reading Ma.",
YEAR = 1989 }

@inproceedings{ Mani97,
AUTHOR = "H. Manilla",
TITLE = "Logic and Data Mining",
BOOKTITLE = "ILPS",
YEAR = 1997 }

@inproceedings{ MaCu95,
AUTHOR = "R. Marques and J. Cunha",
TITLE = "{PVM-Prolog}: Parallel Logic Programming in the {PVM} System",
BOOKTITLE = "Proceedings of the {PVM} Users' group meeting, Pittsburgh, Pa",
YEAR = 1995 }

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

@inproceedings{ MEI91,
AUTHOR = "M. Meier",
TITLE = "Recursion versus Iteration in {P}rolog",
BOOKTITLE = ICLP,
PAGES = "157-169",
YEAR = 1991}

@inproceedings{ MELL82,
AUTHOR = "C.S. Mellish",
TITLE = "An Alternative to Structure Sharing in the Implementation 
         of a {P}rolog Interpreter",
BOOKTITLE = "Logic Programming",
EDITOR = "K.L. Clark and S.A. Tarnlund",
PUBLISHER = "Academic Press",
PAGES = "99-107",
YEAR = 1982 }

@article{Mil78,
        author = "R. Milner",
        title = "A theory of type polymorphism in programming",
        journal = "Journal of Computer System Sciences",
        volume = 17,
        year = 1978,
        pages = "348--375"
        }

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

@inproceedings{ MOR93,
AUTHOR = "S. Morishita",
TITLE = "An alternating fixpoint tailored to magic programs",
BOOKTITLE = "Proc of 12th PODS",
YEAR = 1993}

@ARTICLE{Mori96,
   AUTHOR = {S. Morishita},
    TITLE = {{An Extension of Van Gelder's Alternating Fixpoint to
              Magic Programs}},
    PAGES = {506--521},
  JOURNAL = JCSS,
   VOLUME = {52},
    MONTH = {June},
     YEAR = {1996}
}

@article{Moor85,
AUTHOR = "R. Moore",
TITLE = "Semantic considerations on non-monotonic logics",
JOURNAL = "Artificial Intelligence", 
VOLUME = 25,
PAGES = "5-94", 
YEAR = 1985}

@inproceedings{ MUG86,
AUTHOR = "K. Morris and J. Ullman and A. {van Gelder}",
TITLE = "Design Overview of the Nail! System",
BOOKTITLE = ICLP,
PAGES = "554-568",
YEAR = 1986}

@inproceedings{ MULD1,
AUTHOR = "H. Mulder and E. Tick",
TITLE = "A Performance Comparison between PLM and an MC68020 {P}rolog Processor",
BOOKTITLE = ICLP,
PAGES = "59-73",
YEAR = 1987}

@inproceedings{ MFRP90,
AUTHOR = "I. Mumick and S. Finklestein and R. Ramakrishnan and H. Pirahesh",
TITLE = "Magic Conditions",
BOOKTITLE = "PODS",
YEAR = 1990}

@inproceedings{ MPR90,
AUTHOR = " I. Mumick and H. Pirahesh and R. Ramakrishnan",
TITLE = "The Magic of Duplicates and Aggregates",
BOOKTITLE = VLDB,
ORGANIZATION = "VLDB End.",
PAGES = "264-277",
YEAR = 1990 }

@INPROCEEDINGS{MagicRelevant@SIGMOD-90,
   AUTHOR = {Inderpal Singh Mumick and Sheldon J.~Filkenstein and
             Hamid Pirahesh and Raghu Ramakrishnan},
    TITLE = {{Magic is Relevant}},
    PAGES = {247--258},
     YEAR = {1990},
    MONTH = {May},
BOOKTITLE = SIGMOD
}

@INPROCEEDINGS{MuPi94,
   AUTHOR = {I. Mumick and H. Pirahesh},
    TITLE = {{Implementation of Magic-sets in a Relational Database System}},
     YEAR = {1994},
    PAGES = {103--114},
BOOKTITLE = SIGMOD
}

@inproceedings{ MuHe88,
AUTHOR = "K. Muthukumar and M. Hermenegildo",
TITLE = "The CDG, UDG and MEL Methods for Automatic Compile-time
Parallelization of Logic Programs for Independant And-parallelism",
BOOKTITLE = ICLP,
PAGES = "221-236",
YEAR = 1990 }

@inproceedings{Nais88,
AUTHOR = "L. Naish",
TITLE = "Parallelizing {NU}-{P}rolog",
BOOKTITLE = JICSLP,
PAGES = "1565-1577",
YEAR = 1988}

@inproceedings{NAUG88,
AUTHOR = "J. Naughton",
TITLE = "Compiling Separable Recursions",
BOOKTITLE = "SIGMOD",
PAGES = "312-319",
YEAR = 1988}

@inproceedings{ NRSU89,
AUTHOR = "J. Naughton and R.  Ramakrishnan and Y. Sagiv and J. Ullman",
TITLE = "Argument Reduction through Factoring",
BOOKTITLE = VLDB,
ORGANIZATION = "VLDB End.",
PAGES = "173-182",
YEAR = 1989 }

@inproceedings{NeFS95,
AUTHOR = "W. Nedjl and J Frohlich and M. Schroeder",
TITLE = "A formal framework for representing diagnosis strategies in
		  model-based diagnosis",
BOOKTITLE = "IJCAI",
YEAR = 1995}

@article{NgSu93a,
AUTHOR = "R. Ng and V.S. Subrahmanian",
TITLE = "Probabilistic Logic Programming",
Journal = "Information and Computation",
Volume = 101,
Number = 2,
Pages = "150-201",
YEAR = 1993}

@inproceedings{ NiSi96,
AUTHOR = "I. Niemel{\"a} and P. Simons",
TITLE = "Efficient Implementation of the Well-Founded and Stable Model
                  Semantics",
BOOKTITLE = JICSLP,
PAGES = "289-303",
YEAR = 1996 }

@INPROCEEDINGS{NiSi97,
AUTHOR = {Ilkka Niemel{\"a} and Patrik Simons},
TITLE = {{SModels --- An implementation of the stable model and well-founded
	     semantics for normal LP}},
Booktitle = LPNMR,
Publisher = SPRINGER,
PAGES = {420--429},
YEAR = 1997
}

@INPROCEEDINGS{ Nils91,
   AUTHOR = {Ulf Nilsson},
    TITLE = "Abstract Interpretation: A Kind of Magic",
    BOOKTITLE = {PLILP91},
     YEAR = 1991,
    PAGES = {299--310}
}

@INPROCEEDINGS{ NBGWB00,
   AUTHOR = {A. Nogueira and M Balduccini and M. Gelfond and R. Watson and M. Barry},
    TITLE = "An {A}-Prolog decision support system for the space shuttle",
    Booktitle = PADL,
     YEAR = 2001,
}

@INPROCEEDINGS{ NuDe00,
   Author = "B. Van Nuffelen and M. Denecker",
   TITLE = {Problem solving in ID-logic with Aggregates: Some Experiments},
   Booktitle = "NMR 2000",
   Note = "Available via www.cs.kuleuven.ac.be",
   YEAR = 2000
}

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

@article{OsJP99,
AUTHOR = "M. Osorio and B. Jayaraman and D. Plaisted",
TITLE = "Theory of Partial-order programming",
Journal = "Science of Computer Programming",
Volume = 34,
Pages = "207-238",
YEAR = 1999}

@book{PACT95,
EDITOR = "Mark Wallace",
TITLE = "Proceedings of the Practical Applications of Constraint
Technology Conference", 
PAGES = "719",
PUBLISHER = "The Practical Application Co",
YEAR = 1995}

@book{PACT96, 
EDITOR = "Mark Wallace",
TITLE = "Proceedings of the Practical Applications of Constraint
Technology Conference",
PAGES = "587", 
PUBLISHER = "The Practical Application Co", 
YEAR = 1996}

@book{PAP92,
TITLE = "Proceedings of the Practical Applications of Prolog Conference",
PAGES = "600",
PUBLISHER = "The Practical Application Co",
YEAR = 1992}

@book{PAP94,
TITLE = "Proceedings of the Practical Applications of Prolog Conference",
PAGES = "669",
PUBLISHER = "The Practical Application Co",
YEAR = 1994}

@book{PAP95,
EDITOR = "Andre Marien",
TITLE = "Proceedings of the Practical Applications of Prolog Conference",
PAGES = "719",
PUBLISHER = "The Practical Application Co",
YEAR = 1995}

@book{PAP96,
TITLE = "Proceedings of the Practical Applications of Prolog Conference",
PAGES = "587",
PUBLISHER = "The Practical Application Co",
YEAR = 1996}

@book{PESH83,
AUTHOR = "F.C.N. Pereira and S. Shieber",
TITLE = "Prolog and Natural Language Analysis",
PUBLISHER = "CSLI Lecture Notes",
NUMBER = 10,
YEAR = 1983 }

@inproceedings{PeWa83,
AUTHOR = "F.C.N. Pereira and D.H.D. Warren",
TITLE = "Parsing as Deduction",
BOOKTITLE = "Proceedings of the 21st Annual Meeting of the Association
                  for Computational Linguistics",
PAGES = "137-144",
YEAR = 1983 }

@inproceedings{PeApAl91,
AUTHOR = "L. M. Pereira and J. Apar\'\i{}cio and J. Alferes",
TITLE = "Non-monotonic Reasoning with the well-founded semantics",
BOOKTITLE = ICLP,
PAGES = "475-489",
YEAR = 1991 }

@inproceedings{PeAA91,
AUTHOR = "L. M. Pereira and J. Apar\'\i{}cio and J. Alferes",
TITLE = "Derivation Procedures for Extended Stable Models",
BOOKTITLE = IJCAI,
YEAR = 1991 }

@article{PeApAl93,
AUTHOR = "L. M. Pereira and J. Apar\'\i{}cio and J. Alferes",
TITLE = "Non-monotonic reasoning with logic programming",
Journal = "JLP",
Note = "Special Issue on {NMR}",
YEAR = 1993 }

@inproceedings{PDA93,
AUTHOR = "L. M. Pereira and C. Dam\'asio and J. Alferes",
TITLE = "Diagnosis and Debugging as Contradiction Removal",
BOOKTITLE = LPNMR,
PAGES = "334-348",
PUBLISHER = MIT,
YEAR = 1993 }

@inproceedings{PDA93a,
AUTHOR = "L. M. Pereira and C. Dam\'asio and J. Alferes",
TITLE = "Debugging by Diagnosing Assumptions",
BOOKTITLE= "AADEBUG 93, LNCS no. 749",
Pages = "58-74",
PUBLISHER = SPRINGER,
YEAR = 1993}

@inproceedings{ PDR91,
AUTHOR = "G. Phipps and M. Derr and K. Ross",
TITLE = "{Glue-Nail}: A Deductive Database System",
PAGES = "308-317",
YEAR = 1991}

@inproceedings{ Plum90, 
AUTHOR = "L. Plumer",
TITLE = "Termination Proofs for Logic Programming based on Predicate
		Inequalities", 
BOOKTITLE = ICLP,
PAGES = "634-648",
YEAR = 1990 }

@article{PELW98,
Author = "M. Prior and R.  Eisenmajer and S. Leekam and L. Wing and
                  J. Gould and B. Ong and  D. Dowe", 
Title = "Are there subgroups within the autistic spectrum? A cluster
                  analysis of a group of children with autistic
                  spectrum disorders",
Journal = "Can J Psych",
Volume = 43,
Number = 6,
Pages = "589-595",
Year = 1998}
%Month = "August", 

@inproceedings{PzPz88,
AUTHOR = "H. Przymusinska and T. Przymusinski",
TITLE = "Weakly Perfect Model Semantics for Logic Programs",
BOOKTITLE = JICSLP,
PAGES = "1106-1123",
YEAR = 1988}

%Address = "Los Altos Ca.",
@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 = ICLP,
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",
Publisher = ACM,
YEAR = "1989"}

@inproceedings{RRRSSW97, 
AUTHOR = "Y. S.  Ramakrishna and C. R. Ramakrishnan and I. V. Ramakrishnan
     and  S. Smolka and T. Swift and D. S. Warren", 
TITLE = "Efficient Model Checking using Tabled Resolution", 
BOOKTITLE = CAV,
Pages = "143-154",
YEAR = 1997}

@inproceedings{RRS95,
AUTHOR = "C.R. Ramakrishnan and I.V. Ramakrishnan and R.C. Sekar",
TITLE = "A Symbolic Constraint Solving Framework for Analysis
               of Logic Programs",
BOOKTITLE = PEPM,
YEAR = 1995,
publisher = acm,
pages = "12--23"
     }
 
@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
     }
 
@inproceedings{LiRS98,
Author = {X. Liu and C. R. Ramakrishnan and S. Smolka},
Title = {Fully local and efficient evaluation of alternating fixed points}, 
Booktitle = "TACAS 98: Tools and Algorithms for Construction and
                  Analysis of Systems",  
PAGES = "5-19",
Publisher = SPRINGER,
Year = 1998}
% LNCS 1384,

@INPROCEEDINGS{RaRS97,
AUTHOR = "I. V. Ramakrishnan and A. Roychoudhury and T. Swift",
Title = {A Standardization Tool for Data Warehousing},
Booktitle = "Practical Applications of Prolog",
Year = 1997}

@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{ RBK88,
AUTHOR = "R.  Ramakrishnan and C. Beeri and R. Krishnamurthi",
TITLE = "Optimizing existential Datalog queries",
BOOKTITLE = "Proc. of the ACM Symposium on 
		Principles of Database Systems",
ORGANIZATION = "ACM",
PAGES = "89-102",
YEAR  = 1988 }

@inproceedings{ RSS92,
AUTHOR = "R.  Ramakrishnan and D. Srivastava and S. Sudarshan",
TITLE = "{CORAL}: Control, Relations, and Logic",
BOOKTITLE = VLDB,
ORGANIZATION = "VLDB End.",
PAGES = "238-249",
YEAR = 1992 }

@inproceedings{ RSS92a,
AUTHOR = "R.  Ramakrishnan and D. Srivastava and S. Sudarshan",
TITLE = "Controlling the Search in Bottom-up Evaluation",
BOOKTITLE = JICSLP,
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 = SIGMOD
}

@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
}


@inproceedings{ RC94, 
AUTHOR = "R. Ramesh and W. Chen",
TITLE = "A Portable Method of Integrating {SLG} Resolution into
		  {P}rolog Systems",
BOOKTITLE = "Proc. of the Symposium on Logic Programming",
YEAR = "1994"}

@inproceedings{ RRSSW94, 
AUTHOR = "P. Rao and I.V. Ramakrishnan and K. Sagonas and T. Swift and
		  D. S. Warren", 
TITLE = "Efficient Table Access Mechanisms for Logic Programs",
BOOKTITLE = ICLP,
EDITOR = "L. Sterling",
PAGES = "697-711",
YEAR = "1995"}

@article{ RRSSW98, 
AUTHOR = "I. V. Ramakrishnan and P. Rao and K. Sagonas and T. Swift and
		  D. S. Warren", 
TITLE = "Efficient Access Mechanisms for Tabled Logic Programs",
Journal = "Journal of Logic Programming",
Volume = 38,
Number = 1,
Month = "January",
Pages = "31-55",
YEAR = 1999}

@inproceedings{ RRSW94, 
AUTHOR = "P. Rao and I.V. Ramakrishnan and T. Swift and D. S. Warren",
TITLE = "Dynamic Argument Reduction for In-memory Queries.",
BOOKTITLE = "2nd ICLP Workshop on Logic Programming and
		  Deductive Databases",
YEAR = "1994"}

@inproceedings{ RRR96, 
AUTHOR = "P. Rao and C.R. Ramakrishnan and I.V. Ramakrishnan",
TITLE = "A Thread in Time saves Tabling Time",
BOOKTITLE = JICSLP,
YEAR = "1996"}

@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"}

@incollection{Reps94,
author = "T. Reps",
title = "Demand interprocedural program analysis using logic databases",
booktitle = "Applications of Logic Databases",
publisher = "Kluwer Academic",
year = 1994,
editor = "R. Ramakrishnan"
	}

@inproceedings{Reps95,
author = "T. Reps",
title = "Shape analysis as a generalized path problem",
booktitle = PEPM,
publisher = acm,
pages = "1--11",
year = 1995
	}

@inproceedings{Rido96,
AUTHOR = "O. Ridoux",
TITLE = "Engineering Transormations of Attributed Grammars in {lProlog}",
BOOKTITLE = JICSLP,
EDITOR = "M. Maher",
PAGES = "244-258",
YEAR = 1996}

@incollection{ ROBI1,
AUTHOR ="J.A. Robinson and E. Sibert",
EDITOR = "K. L. Clark and S.-A. Tarnlund",
TITLE = "Loglisp: Motivation, Design and Implementation",
BOOKTITLE = "Logic Programming",
PUBLISHER = "Academic Press",
YEAR = 1982 }

@book{ Rogr87,
AUTHOR = "H. Rogers",
TITLE = "Theory of Recursive Functions and Effective Computability",
PUBLISHER = MIT,
Address = "Cambridge, Ma.",
YEAR = 1987 }

@article{RoLK86, 
AUTHOR = "J. Rohmer and R. Lescoeur and J. Kerisit",
TITLE = "The {Alexander} Method: a Technique for the processing of
                  recursive atoms in deductive databases",
JOURNAL = "New Generation Computing",
VOLUME = 4,
Pages = "522-528",
YEAR = "1986"}

@book{ SPARC,
AUTHOR = "{ROSS} Technologies Inc",
TITLE = "Sparc {RISC} User's Guide",
PUBLISHER = "{ROSS} Technologies Inc",
YEAR = 1990 }

@inproceedings{ Ross89, 
AUTHOR = "K.A. Ross", 
TITLE = "A procedural semantics for well-founded negation in 
		logic programming",
BOOKTITLE = "Proc. of 8th PODS",
ORGANIZATION = "ACM",
PAGES = "22-33",
YEAR = 1989 }

@inproceedings{Ross90,
AUTHOR = "K.A. Ross",
TITLE = "Modular stratification and magic sets for datalog programs with
  negation.",
BOOKTITLE = "Proc. of 9th PODS",
PAGES = "161-171",
YEAR =  1990}

@phdthesis{Ross91,
AUTHOR = "K.A. Ross.",
TITLE = "The Semantics of Deductive Databases",
SCHOOL = "Department of Computer Science, Stanford University",
YEAR = 1991}

@inproceedings{Ross91a,
AUTHOR = "K. Ross",
TITLE = "Modular Acyclicity and tail recursion in logic programs",
BOOKTITLE = "Proc. of 10th PODS",
YEAR = 1991}

@article{Ross92,
AUTHOR = "K.A. Ross.",
TITLE = "A procedural semantics for well-founded negation in logic programs.",
JOURNAL = "J. Logic Programming", 
VOLUME = 13,
NUMBER = 1,
PAGES = "1-22", 
YEAR = "1992"}

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

@article{SaZa89,
AUTHOR = "D. Sacca and C. Zaniolo.",
TITLE = "The Generalized Counting Method for Recursive Logic Queries",
JOURNAL = "Theoretical Computer Science", 
VOLUME = 62,
PAGES = "187-220", 
YEAR = "1989"}

@article{SaRW98, 
AUTHOR = "M. Sagiv and T. Reps and R. Wihelm", 
TITLE = "Solving Shape Analysis Problems in Languages with Destructive
                       Updates", 
Journal = TOPLAS,
Volume = 20,
Number = 1,
Year = 1998}

@inproceedings{ Sagv90,
AUTHOR = "Y. Sagiv",
TITLE = "Is there anything better than magic?",
BOOKTITLE = "Proc. of the 1990 North American Conference",
PAGES = "235-254",
YEAR =  1990 }

@phdthesis{ Sago96,
AUTHOR = "K. Sagonas",
TITLE = "The SLG-WAM: A Search-Efficient Engine for Well-Founded
                  Evaluation of Normal Logic Programs",
School = "SUNY at Stony Brook",
YEAR = 1996}

@article{SaSw98,
   AUTHOR = {K. Sagonas and T. Swift},
    TITLE = {An Abstract Machine for Tabled Execution
	     of Fixed-Order Stratified Logic Programs},
     Journal = TOPLAS,
     Month = {May},
     Volume = 20,
     Number = 3,
     Pages = "586 - 635",
     YEAR = {1998},
}

@manual{ SSW93,
AUTHOR = "K. Sagonas and T. Swift and D. S. Warren",
TITLE = "The {XSB} Programmer's Manual: version 1.6",
INSTITUTION = "SUNY at Stony Brook",
YEAR = 1996 }

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

@inproceedings{ SSW95a,
AUTHOR = "K. Sagonas and T. Swift and D. S. Warren",
TITLE = "The Limits of Fixed-Order Computation",
Booktitle = "International Workshop on Logic and Databases",
PUBLISHER = SPRINGER,
YEAR = 1995 }

@article{ SSW99,
AUTHOR = "K. Sagonas and T. Swift and D. S. Warren",
TITLE = "The Limits of Fixed-Order Computation",
Journal = "Theoretical Computer Science",
Volume = 254,
Number = "1-2",
Pages = "465-499",
Year = 2000 }

@article{ SSW99-grant,
AUTHOR = "K. Sagonas and T. Swift and D. S. Warren",
TITLE = "The Limits of Fixed-Order Computation",
Journal = "Theoretical Computer Science",
Note = "To apperar. 29 pages", 
Year = 1999 }

@inproceedings{ SSW95b, 
AUTHOR = "K. Sagonas and T. Swift and D. S. Warren", 
TITLE = "An Abstract Machine for Fixed-Order Stratified Programs", 
BOOKTITLE = "Proc. of 13th Conference on Automated Deduction.",
PAGES = "328-342",
YEAR = 1996 }

@inproceedings{ SSW96a, 
AUTHOR = "K. Sagonas and T. Swift and D. S. Warren", 
TITLE = "An Abstract Machine for Computing the Well-Founded Semantics", 
BOOKTITLE = JICSLP,
PAGES = "274-289",
YEAR = 1996 }

@article{SaSW00, 
AUTHOR = "K. Sagonas and T. Swift and D. S. Warren", 
TITLE = "An Abstract Machine for Efficiently Computing Queries to Well-Founded Models",
Journal = JLP,
Volume = 45,
Number = "1-3",
Pages = "1-41",
Year = 2000}

@manual{ SSWFR99,
AUTHOR = "K. Sagonas and T. Swift and D. S. Warren and J. Freire and
                  P. Rao",
TITLE = "The {XSB} Programmer's Manual: version 2.0",
INSTITUTION = "SUNY at Stony Brook",
YEAR = 1999 }

@inproceedings{ SaWa96,
AUTHOR = "K. Sagonas and D. S.  Warren",
TITLE = "Efficient Execution of {HiLog} in {WAM}-based {P}rolog 
		Implementations",
BOOKTITLE = ICLP,
NOTE = "To Appear",
YEAR = "1995"}

@article{SaIn95,
AUTHOR = "C. Sakama and K. Inoue",
TITLE = "Paraconsistent Stable Semantics for Extended Disjunctive Programs",
JOURNAL = "Journal of Logic and Computation", 
VOLUME = 5,
PAGES = "265-285", 
YEAR = 1994}

@inproceedings{SaIn96,
AUTHOR = "C. Sakama and K. Inoue",
TITLE = "Represending Priorities in Logic Programs",
Booktitle = JICSLP, 
PAGES = "82-96", 
YEAR = 1996}

@phdthesis{Saka94,
AUTHOR = "C. Sakama",
TITLE = "Studies on Disjunctive Logic Programming",
SCHOOL = "Kyoto University", 
YEAR = 1994}

@book{ SAKR83,
AUTHOR = "D. Sankoff and J. Kruksal",
TITLE = "Time Wraps, String Edits and Macromolecules: 
The Theory and Practice of Sequence Comparison",
PUBLISHER = "Addison-Wesley",
YEAR = 1983 }

@InProceedings{yap-optim,
    Author = {Santos Costa, V\'{\i}tor},
    Title = {Optimising Bytecode Emulation for Prolog},
     Booktitle = "LNCS 1702, Proceedings of PPDP'99",
     Publisher="Springer-Verlag",
     Month = {September},
     Pages="261--267",
     Year = "1999" }

@manual{yap00,
Title           ={{YAP User's Manual}},
Author          ="Santos Costa, V. and Damas, L. and Reis, R. and
                  Azevedo, R.",
Year            =2000,
Note = "\def\HTML{\XURL}{http://www.ncc.up.pt/\~{}vsc/Yap}"
}


@InProceedings{padl99ric,
     Author = "Ricardo Rocha and Fernando Silva and Santos Costa, Vítor",
     Title ="{Or-Parallelism within Tabling}",
     Booktitle = "{LNCS 1551, Workshop on Practical Aspects of Declarative
                  Languages (PADL99)}",
     Year = "1999",
     Publisher = "Springer-Verlag",
     Month = "January"
}

@InProceedings{Rocha-2000,
  author =    {R. Rocha and F. Silva and V. S. Costa},
  title =     {{YapTab: A Tabling Engine Designed to Support Parallelism}},
  booktitle = {Proceedings of the 2nd Workshop on Tabulation in Parsing and Deduction, TAPD'2000},
  pages =     {77--87},
  month =     {September},
  year =      {2000},
  address =   {Vigo, Spain},
}

@inproceedings{ ScAP95,
AUTHOR = "M. Schroeder and I. de Almeida Mora and L. M. Pereira",
TITLE = "A Deliberative and Reactive Diagnosis Agent Based on Logic
		  Programming", 
BOOKTITLE = "2nd International Workshop on Agent Theories
		  Architectures and Languages", 
PUBLISHER = SPRINGER,
YEAR = "1995"}

@book{ Schr98, 
AUTHOR = "M. Schroeder", 
TITLE = "Autonomous, Model-based Diagnosis Agents", 
PUBLISHER = "Kluwer Academic Press", 
YEAR = "1998"}

@article{ SRR94,
AUTHOR = "R.C. Sekar and R. Ramesh and I.V. Ramakrisnan",
TITLE = "Adaptive Pattern Matching",
JOURNAL = "Siam J. Computing",
NOTE = "To Appear",
YEAR = 1994 }

@inproceedings{SeIt88,
AUTHOR = "H. Seki and H. Itoh",
TITLE = "A Query Evaluation Method for Stratified Programs 
						Under the Extended {CWA}",
BOOKTITLE = JICSLP,
PAGES = "195-211",
YEAR = 1988}

@inproceedings{ Seki89,
AUTHOR = "H. Seki",
TITLE = "On the Power of {Alexandrer} Templates",
BOOKTITLE = "Proc. of 8th PODS",
ORGANIZATION = "ACM",
PAGES = "150-159",
YEAR = 1989 }

@inproceedings{Seki89a,
AUTHOR = "H. Seki",
TITLE = "Unfold/Fold Transformation for Stratified Programs",
BOOKTITLE = ICLP,
PAGES = "554-570",
YEAR = 1989}

@book{SHIEB86,
AUTHOR = "S. Shieber",
TITLE = "An Introduction to Unification-Based Approaches to Grammar",
PUBLISHER = "CSLI Lecture Notes",
Number = 4,
YEAR = 1986 }

@inproceedings{Simo89,
Author = "H. Simonis", 
TItle = "Test Generation using the Constraint Logic Programming
                  Language Chip",
Booktitle = ICLP,
Pages = "101-112",
Year = 1989
}

@article{ShSP93,
AUTHOR = "S. Shieber and Y. Schabes and F.C.N. Pereira",
TITLE = "Principles and Implementations of Deductive Parsing",
Journal  = JLP,
YEAR = 1993 }

@manual{ SICS,
AUTHOR = "J. Andersson and S. Andersson and K. Boortz and M. Carlsson
                  and H. Nillson and T. Sjorland and J. Widen",
TITLE = "{SICS}tus {P}rolog User's Manual Version 2.1",
INSTITUTION = "Sweedish Institute of Computer Science",
YEAR = 1994 }


@inproceedings{Smit91,
AUTHOR = "D. Smith",
TITLE = "Constraint Operations for {CLP(${\cal FT}$)}",
BOOKTITLE = ICLP,
PAGES = "760-774",
YEAR = 1991}

@inproceedings{SmSoZh94,
AUTHOR = "S. Smolka and O. Sokolsky and S. Zhang",
TITLE = "Model checking in the modal $\mu$-calculus",
BOOKTITLE = "IEEE Symposium on Logic in Computer Science",
YEAR = 1994}

@article{ SmTZ92,
AUTHOR = "O. Shmueli and S. Tsur and C. Zaniolo",
TITLE = "Compilation of Set Terms in the Logic Data Language {(LDL)}",
JOURNAL = "Journal of Logic Programming",
Volume = 12,
Pages = "89-119",
YEAR = 1992 }

@inproceedings{ SpFr94,
AUTHOR = "G. Specht and B. Freitag",
TITLE = "Amos: A natural language parser implemented as a deductive
                  database in {LOLA}",
BOOKTITLE = "Applications of Logic Databases",
Editor = "R. Ramakrishnan",
PUBLISHER = "Kluwer",
Pages = "197-215",
YEAR = "1994"}

@article{Spen94, 
AUTHOR = "C. Spenser",
TITLE = "The Beginnings of {P}rolog",
Journal = "Consultants' Conspectus",
Month = "September",
YEAR = "1994"}

@article{Sriv93,
AUTHOR = "D. Srivestava",
TITLE = "Subsumption and Indexing in Constraint Query Languages with
		  Linear Arithmetic Constraints",
JOURNAL = "Annals of Mathematics and Artificial Intelligence", 
YEAR = "1993"}

@book{StSh86,
AUTHOR = "L. Sterling and E. Shapiro",
TITLE = "The Art of {P}rolog",
PUBLISHER = MIT,
YEAR = 1986 }


@inproceedings{ST96,
author = {Frieder Stolzenburg and Bernd Thomas},
title = {Analysing Rule Sets for the Calculation of Banking Fees
       by a Theorem Prover with Constraints},
year = 1996,
booktitle = {Proceedings of the 2nd International Conference on
        Practical Application of Constraint Technology},
address = {London},
publisher = {Practical Application Company},
pages = {269-282} }

@inproceedings{StSu93, 
AUTHOR = "P. Stuckey and S. Sudarshan",
TITLE = "Well-founded ordered search",
BOOKTITLE = "13th conference on Foundations of Software Technology and
         Theoretical Computer Science",
PAGES = "161-172",
YEAR = "1993"}

@ARTICLE{ Subr94,
AUTHOR = {V. S. Subrahmanian},
TITLE = "Amalgamating Knowledge Bases",
JOURNAL = TODS,
Volume = 19,
Number = 2,
Pages = "291-331",
YEAR = 1994}

@phdthesis{ Suda91,
AUTHOR = "S. Sudarshan",
TITLE = "Optimizing Bottom-up Query Evaluation for Deductive Databases",
SCHOOL = "University of Wisconsin",
YEAR = 1992 }

@inproceedings{ SuRa91,
AUTHOR = " S. Sudarshan and R.  Ramakrishnan",
TITLE = "Aggregation and Relevance in Deductive Databases",
BOOKTITLE = VLDB,
ORGANIZATION = "VLDB End.",
PAGES = "501-511",
YEAR = 1991 }

@inproceedings{ SuRa91a,
AUTHOR = "S. Sudarshan and R.  Ramakrishnan",
TITLE = "Bottom-Up and Top-Down Reconciled",
BOOKTITLE = "Proc. of the Symposium on Logic Programming",
YEAR = 1991 }

@inproceedings{ SuRa93,
AUTHOR = "S. Sudarshan and R.  Ramakrishnan",
TITLE = "Optimizations of Bottom-up Evaluation with Non-Ground Terms",
BOOKTITLE = "Proc. of the Symposium on Logic Programming",
YEAR = 1993 }

@article{Swif99a, 
AUTHOR = "T. Swift", 
TITLE = "Tabling for Non-Monotonic Programming",
Journal = {Annals of Mathematics and Artificial Intelligence},
  publisher     = {Baltzer Science Publishers},
  volume = {25},
  number = {3-4},
  pages = "201-240",
  year          = {1999}
}

%  series        = {{S}pecial Issue of the Annals in Mathematics and
%                  Artificial Intelligence},
%  editor        = {J\"{u}rgen Dix and Jorge Lobo},
%  title         = {{L}ogic {P}rogramming and Non-monotonic Reasoning},

@inproceedings{ Swif99b, 
AUTHOR = "T. Swift", 
TITLE = "A New Formulation of Tabled Resolution with Delay", 
Booktitle = "Recent Advances in Artifiial Intelligence",
Note = {Available at http://www.cs.sunysb.edu/$\tilde{\ }$tswift},
Pages = "163-177",
Year = 1999,
Publisher = SPRINGER,
 }

@inproceedings{ Swif99b1, 
AUTHOR = "T. Swift", 
TITLE = "A New Formulation of Tabled Resolution with Delay", 
Booktitle = "EPIA 99",
Year = 1999
 }

@inproceedings{ SHHMN94, 
AUTHOR = "T. Swift and C. Henderson and R. Holberger and J. Murphey
	  and E. Neham", 
TITLE = "{CCTIS}: an Expert Transaction Processing System",
BOOKTITLE = "Sixth Conference on Industrial Applications of Artificial
		  Intelligence",
Pages = "131--140",
YEAR = 1994 }

@techreport{ SW92,
AUTHOR = "T. Swift and D. S. Warren",
TITLE = "Compiling {OLDT} Evaluation",
INSTITUTION = "SUNY at Stony Brook",
YEAR = 1992 }

@techreport{ SW93,
AUTHOR = "T. Swift and D. S. Warren",
TITLE = "{XSB} performance measurement",
INSTITUTION = "SUNY at Stony Brook",
YEAR = 1993 }

@techreport{ SW93a,
AUTHOR = "T. Swift and D. S. Warren",
TITLE = "Performance of Sequential {SLG} Evaluation",
INSTITUTION = "SUNY at Stony Brook",
YEAR = 1993 }

@inproceedings{ SW94a,
AUTHOR = "T. Swift and D. S. Warren",
TITLE = "An abstract machine for {SLG} resolution: definite programs",
BOOKTITLE = "Proceedings of the Symposium on Logic Programming",
Year = 1994,
PAGES = "633-654" }

@inproceedings{ SW94b,
AUTHOR = "T. Swift and D. S. Warren",
TITLE = "Analysis of Sequential {SLG} Evaluation",
BOOKTITLE = "Proceedings of the Symposium on Logic Programming",
Year = 1994,
PAGES = "219--238" }

@techreport{ SWIF2,
AUTHOR = "T. Swift and D. S. Warren",
TITLE = "Instruction Sets for {OLDT} Evaluation",
INSTITUTION = "SUNY at Stony Brook",
YEAR = 1991 }

@phdthesis{ Sw94,
AUTHOR = "T. Swift",
TITLE = "Efficient Evaluation of Normal Logic Programs",
SCHOOL = "SUNY at Stony Brook",
YEAR = 1994 }

@article{ Sw95,
AUTHOR = "T. Swift",
Title = "Reasoning in Parallel Logic Programming",
Journal = "Computational Logic: The Newsletter of CompulogNet",
Pages = "42-43",
YEAR = 1995 }

@article{ Sw96,
AUTHOR = "T. Swift",
Title = "Distributed Implementation of {NMR}",
Journal = "Computational Logic: The Newsletter of CompulogNet",
Month = "December",
YEAR = 1996 }

@inproceedings{ TAKI1,
AUTHOR = "Kazuo Taki and K. Nakajima and H. Nakashima and Morohito Ikeda",
TITLE = "Performance and Architectural Evaluation of the PSI Machine",
BOOKTITLE = "ACM ???",
ORGANIZATION = "ACM",
YEAR = 1987 }

@inproceedings{ TaSa86,
AUTHOR = "H. Tamaki and T. Sato",
TITLE = "{OLDT} Resolution with Tabulation",
BOOKTITLE = ICLP,
PAGES = "84-98",
Publisher = SPRINGER,
YEAR = 1986 }

@inproceedings{ TaSa84,
AUTHOR = "H. Tamaki and T. Sato",
TITLE = "Unfold/Fold Transformations of Logic Programs",
BOOKTITLE = ICLP,
PAGES = "127-138",
YEAR = 1984 }

@inproceedings{ Tay89,
AUTHOR = "A. Taylor",
TITLE = "Removal of Dereferencing and Trailing in Prolog Compilation",
BOOKTITLE = ICLP,
YEAR = 1989 }

@inproceedings{ Tay90,
AUTHOR = "A. Taylor",
TITLE = "{LIPS} on a {MIPS}: Results from a {P}rolog Compiler for a {RISC}",
BOOKTITLE = ICLP,
PAGES = "174-185",
YEAR = 1990 }

@inproceedings{ Teus93,
AUTHOR = "F. Teusink",
TITLE = "A proof procedure for extended logic programs",
BOOKTITLE = ICLP,
PAGES = "235-249",
YEAR = 1993 }

@book{ TICK1,
AUTHOR = "E. Tick",
TITLE = "Memory Performance of {P}rolog Architectures",
PUBLISHER = "Kluwer Academic Publishers",
YEAR = 1988 }

@inproceedings{ Toma95,
AUTHOR = "D. Toman",
TITLE = "Top-Down beats Bottom-up for Constraint Extensions of Datalog",
BOOKTITLE = ICLP,
PAGES = "98-115",
YEAR = 1995 }

@manual{ TAO93,
AUTHOR = "S. Tsur and N. Arni and K. Ong",
TITLE = "LDL User's Guide, Edition 2.0",
INSTITUTION = "MCC",
YEAR = 1993 }

@inproceedings{ UEDA87,
AUTHOR = "K. Ueda",
TITLE = "Guarded Horn Clauses",
BOOKTITLE = "Concurrent Prolog: Collected Papers",
PAGES = "356-375",
YEAR = 1987 }

@article{ Ull85,
AUTHOR = "J. Ullman",
TITLE = "Implementation of Logical Query Languages for Databases",
JOURNAL = "ACM Transactions on Database Systems",
VOLUME = 10,
NUMBER = 3,
PAGES = "289-321",
YEAR = 1985 }

@inproceedings{ Ull89, 
AUTHOR = "J. Ullman", 
TITLE = "Bottom-up beats top-down for Datalog",
BOOKTITLE = "Proc. of 8th PODS",
ORGANIZATION = "ACM",
PAGES = "140-149",
YEAR = 1989 }

@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}

%Address = "Los Altos Ca.",
@inproceedings{vanGelder88,
AUTHOR = "A.~{van Gelder}",
TITLE = "Negations as failure using tight derivations for general logic
  programs",
BOOKTITLE = "Foundations of Deductive Databases and Logic Programming",
EDITOR = "J.~Minker",
PUBLISHER ="Morgan Kaufmann",
PAGES = "149-176",
YEAR = 1988}

@inproceedings{ VG89, 
AUTHOR = "A. {van Gelder}", 
TITLE = "The Alternating Fixpoint of Logic Programs with Negation",
BOOKTITLE = "Proc. of 8th PODS",
ORGANIZATION = "ACM",
PAGES = "1-10",
YEAR = 1989 }

@article{VRS91,
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 }

@inproceedings{ VHCC95, 
AUTHOR = "P Van Hentenryck and A. Cortesi and B Le Charlier", 
TITLE = "Evaluation of the domain {Prop}",
BOOKTITLE = "Journal of Logic Programming",
Volume = 23,
Number = 3,
PAGES = "237-278",
YEAR = 1995 }

@article{ VaRo92,
AUTHOR = "P. {van Roy}",
TITLE = "Aquarius {P}rolog",
JOURNAL = "IEEE Computer",
YEAR = 1992 }

@article{ VaRo93,
AUTHOR = "P. {van Roy}",
TITLE = "1983-1993: The wonder years of sequential {P}rolog
                  implementation",
Journal = "Journal of Logic Programming",
Volume = "19/20",
Pages = "385-441",
YEAR = 1994 }

@inproceedings{ VeDe90, 
AUTHOR = "J. Verschaetse and Danny De Schreye",
TITLE = "Deriving Termination Proofs for Logic Programming using
		Abstract Procedures", 
BOOKTITLE = ICLP,
PAGES = "301-315",
YEAR = 1991 }

@article{ Viel89,
AUTHOR = "L. Vieille",
TITLE = "Recursive Query Processing: The Power of Logic",
JOURNAL = "Theoretical Computer Science",
PAGES = "1-53",
VOLUME = 69,
YEAR = 1989 }

@inproceedings{ VBKL90,
AUTHOR = "L. Vieille and P. Bayer and V. Kuchenhoff and A. Lefebvre",
TITLE = "{EKS-V1}, a short overview",
BOOKTITLE = "AAAI-90 Workshop on Knowledge Base Management Systems",
YEAR = 1990 }

@inproceedings{ VRK+91, 
AUTHOR = "J. Vaghani and K. Ramamohanorao and D. Kemp and Z. Somogyi
          and P. Stuckey", 
TITLE = "Design overview of the {A}diti deductive database system",
BOOKTITLE = "Seventh International Conference on Data Engineering",
PAGES = "240-247",
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{ VDLC93, 
Author = "E. Villemont de la Clergerie",
Title = "Layer Sharing: an Improved Structure-Sharing Framework",
BOOKTITLE = "Proc. of the 20th. Symposium on Principles of Programming
		  Languages", 
PAGES = "345-359",
YEAR = "1993"}

@inproceedings{ VCLa94, 
Author = "E. Villemont de la Clergerie and B. Lang",
Title = "{LPDA}: Another Look at Tabulation in Logic Programming",
BOOKTITLE = ICLP,
PAGES = "470--488",
YEAR = "1994"}

@article{VoKP98,
Author = "F.R. Volkmar and A. Klin and  D. Pauls",
Title = "Nosological and genetic aspects of Asperger syndrome",
Journal = "J Child Psychol Psychiatry",
Month = "September",
Volume = 39,
Number = 6,
Pages = "893-902",
Year =  1998}

@inproceedings{ Wagn93, 
Author = "G. Wagner",
Title = "Reasoning with Inconsistency in Extended Deductive Databases",
BOOKTITLE = LPNMR,
Publisher = MIT,
PAGES = "300--315",
YEAR = 1994}

@techreport{ Walk92, 
AUTHOR = "A. Walker", 
TITLE = "The {Syllog} Expert Database System",
Institution = "IBM",
YEAR = 1992 }

@article{ AdWa93, 
AUTHOR = "A. Walker", 
TITLE = "Backchain Iteration: Towards a Practical Inference Method That Is
	 Simple Enough to Be Proved Terminating, Sound, and Complete",
JOURNAL = "J. Automated Reasoning",
VOLUME = 11,
NUMBER = 1,
PAGES = "1-23",
YEAR = 1993,
Note = "Originally formulated in New York University TR 34, 1981" }

@techreport{ DHWa83,
AUTHOR = "D.H.D. Warren",
TITLE = "An Abstract {P}rolog Instruction Set",
INSTITUTION = "SRI",
NUMBER = 309,
YEAR = 1983 }

@inproceedings{ DHWa87,
AUTHOR = "D.H.D. Warren",
TITLE = "The {SRI} Model for Or-Parallel Execution of {P}rolog ---
		  Abstract Design and Implementation",
BOOKTITLE = "Proc of the 1987 Symposium on Logic Programming",
PAGES = "92-102",
YEAR = 1987 }

@techreport{ DSWa84,
AUTHOR = "D. S. Warren",
TITLE = "The Runtime Environment for a {P}rolog Compiler Using a Copy Algorithm",
INSTITUTION = "SUNY at Stony Brook",
NUMBER = 83,
YEAR = 1984 }

@inproceedings{ DSWa84a,
AUTHOR = "D. S. Warren",
TITLE = "Efficient {P}rolog memory management for flexible control",
BOOKTITLE = ILPS,
PAGES = "198-202",
YEAR = 1984 }

@techreport{ DSWA89,
AUTHOR = "D. S. Warren",
TITLE = "The {XWAM}: A machine that integrates {P}rolog and 
			Deductive database query evaluation",
INSTITUTION = "SUNY at Stony Brook",
YEAR = 1989 }

@inproceedings{ DSWA1, 
AUTHOR = "D. S. Warren",
TITLE = "Using Extension Tables to Compute the Well-Founded Semantics",
YEAR = 1991 }

@article{ DSWa92, 
AUTHOR = "D. S. Warren", 
TITLE = "Memoing for Logic Programs 
	with Applications to Abstract Interpretatino and Partial Deduction", 
JOURNAL = CACM,
YEAR = 1992 }

@inproceedings{DSW93,
Title={Programming the {PTQ} grammar in {XSB}},
Author={David S. Warren},
       Editor={Raghu Ramakrishnan},
        Booktitle={Applications of Logic Databases},
	publisher={Kluwer Academic Publishers},
        chapter=10,
	year = 1995,
        pages={217--234},
	}

% Is this an XSB application?
@INPROCEEDINGS{SpaceShuttle@PADL-99,
     AUTHOR = {Richard Watson},
      TITLE = {An Application of Action Theory to the Space Shuttle},
      PAGES = {290--304},
   CROSSREF = {PADL99}
}

@book{WINO83,
AUTHOR = "T. Winograd",
TITLE = "Language as a Cognitive Process: Volume 1: Syntax",
PUBLISHER = "Addison Wesley",
YEAR = 1983}

@inproceedings{Wund95,
Title={A Portable Implementation of Memoing Evaluation},
Author={J. Wunderwald},
Booktitle={LOPSTR 95},
year = 1995,
	}

@manual{ XSB01,
Key = {The XSB Logic Programming System},
TITLE = "The {XSB} Programmer's Manual: version 2.4, vols. 1 and 2",
INSTITUTION = "SUNY at Stony Brook",
NOTE = {{\tt http://xsb.sourceforge.net}},
YEAR = 2001 }

@misc{ XSB-home,
Key = {The XSB Logic Programming System},
Title = {The {XSB} {L}ogic {P}rogramming {S}ystem version 2.3},
NOTE = {{\tt http://xsb.sourceforge.net}},
YEAR = 2000 }

@manual{ JX90,
AUTHOR = "J. Xu",
TITLE = "The {PSB}-{P}rolog User Manual",
INSTITUTION = "ECRC",
YEAR = 1990 }

@inproceedings{YaKi00,
author = "Guizhen Yang, Michael Kifer",
Title = "FLORA: Implementing an Efficient DOOD System Using a Tabling
                  Logic Engine",
Booktitle = "DOOD'2000: 6th International Conference on Rules and
                  Objects in Databases",
Year = 2000}

@manual{YaKi01,
author = "Guizhen Yang, Michael Kifer",
Title = "FLORA-2: User's Manual",
Note = "Avaliable via xsb.sourceforge.net",
Year = 2001}

@inproceedings{ZuFr96a,
Author= "U. Zukowski and B. Freitag",
Title= "The Differential Fixpoint of General Logic Programs",
Booktitle= "Post-ICLP Workshop on Deductive Databases and Logic
		  Programming",
month = "September",
year = 1996	}

@inproceedings{ZuFr96b,
Author= "U. Zukowski and B. Freitag",
Title= "Adding Flexibility to Query Evaluation for Modularly
                  Stratified Databases", 
Booktitle= "JICSLP",
Pages = "304-319",
year = 1996	}

@inproceedings{ ZuBF97,
AUTHOR = "U. Zukowski and S. Brass and B. Freitag",
TITLE = "Improving the Alternating Fixpoint: The Transformation Approach",
BOOKTITLE = LPNMR,
Publisher = SPRINGER,
Pages = "40-59",
YEAR = 1997 }

