@STRING{wkshop = "Workshop on Foundations of Deductive Databases and Logic Programming"}

@INPROCEEDINGS(	Gel87,
	AUTHOR = "Gelfond, M.",
	TITLE = "On stratified autoepistemic theories",
	BOOKTITLE = "Proc.\ AAAI",
	YEAR = "1987" )

@TECHREPORT(	Kun88,
	AUTHOR = "K. Kunen",
	TITLE = "Some Remarks on the Completed Database",
	NUMBER = "775",
	INSTITUTION = "Univ.\ of Wisconsin",
	ADDRESS = "Madison, WI 53706",
	NOTE = "(Abstract appeared in 5th Int'l Conf.\ Symp.\ on Logic Programming,
		Seattle, Aug.\ 1988)",
	YEAR = "1988"	)

@TECHREPORT(	RT87,
	AUTHOR = "Ross, K. and Topor, R. W.",
	TITLE = "Inferring Negative Information from Disjunctive Databases",
	NUMBER = "87/1",
	INSTITUTION = "University of Melbourne",
	YEAR = "1987"	)

@UNPUBLISHED(	Sch87,
	AUTHOR = "Schlipf, J. S.",
	TITLE = "Negation by Securable Failure in Logic Programming",
	ADDRESS = "Univ.\ of Cincinnati",
	NOTE = "(manuscript)",
	YEAR = "1987" )

@TECHREPORT(	GL87,
	AUTHOR = "Gelfond, M. and Lifschitz, V.",
	TITLE = "The Stable Model Semantics for Logic Programming",
	INSTITUTION = "Stanford Univ.",
	NOTE = "(Manuscript.
		Abstract to appear in 5th Int'l Conf.\ Symp.\ on Logic Programming,
		Seattle, Aug.\ 1988)",
	YEAR = "1987" )

@UNPUBLISHED(	VR87,
	AUTHOR = "Van Gelder, A. and Ross, K. A.",
	TITLE = "Unfounded Sets and Well-Founded Semantics
		for General Logic Programs",
	ADDRESS = "UC Santa Cruz",
	NOTE = "(Submitted to 1988 ACM Symposium on Principles of Database
		Systems; superceded by VRS88)",
	YEAR = "1987" )

@TECHREPORT(	Mar86,
	AUTHOR = "Marek, W.",
	TITLE  = "Stable Theories in Autoepistemic Logic",
	INSTITUTION = "University of Kentucky",
	NOTE = "(manuscript)",
	YEAR = "1986"	)

@TECHREPORT(	MT88,
	AUTHOR = "Marek, A. and Truszczynski, M.",
	TITLE = "Autoepistemic Logic",
	INSTITUTION = "University of Kentucky",
	NOTE = "(manuscript)",
	YEAR = "1988"	)

@INPROCEEDINGS(	VRS88,
	AUTHOR = "Van Gelder, A. and Ross, K. A. and Schlipf, J. S.",
	TITLE = "Unfounded Sets and Well-Founded Semantics
		for General Logic Programs",
	BOOKTITLE = "{ACM} Symposium on Principles of Database Systems",
	PAGES = "221--230",
	YEAR = "1988" )

@ARTICLE(	VRS90,
	AUTHOR = "Van Gelder, A. and Ross, K. A. and Schlipf, J. S.",
	TITLE = "The Well-Founded Semantics
		for General Logic Programs",
	JOURNAL = "Journal of the ACM",
	NOTE = "(to appear).
		Available from first author as UCSC-CRL-88-16.
		Preliminary abstract appeared in
		Seventh {ACM} Symposium on Principles of Database Systems,
		March 1988, pp.\ 221--230.",
	YEAR = "1990" )

@ARTICLE(	Lei89,
	AUTHOR = "Leivant, D.",
	TITLE = "Inductive definitions over finite structures",
	JOURNAL = "Information and Computation",
	NOTE = "(to appear).
		Also available from author as CMU--CS--89--153.",
	YEAR = "1989" )

@ARTICLE(	Fit85,
	AUTHOR = "Fitting, M.",
	TITLE = "A {K}ripke-{K}leene semantics for logic programs",
	JOURNAL = "Journal of Logic Programming",
	VOLUME = "2", NUMBER = "4",
	YEAR = "1985",
	PAGES = "295--312"	)

@ARTICLE(	Moo85,
	AUTHOR = "Moore, R. C.",
	TITLE = "Semantical Considerations on Non-Monotonic Logic",
	JOURNAL = "Artificial Intelligence",
	VOLUME = "28",
	YEAR = "1985",
	PAGES = "75--94"	)

@ARTICLE(	Kun87,
	AUTHOR = "Kunen, K.",
	TITLE = "Negation in logic programming",
	JOURNAL = "Journal of Logic Programming",
	VOLUME = "4", NUMBER = "4",
	YEAR = "1987",
	PAGES = "289--308"	)

@ARTICLE(	VG90a,
	AUTHOR = "Van Gelder, A.",
	TITLE = "Modeling simultaneous events with
		default reasoning and tight derivations",
	ANNOTE = "VG90a nwas VG88a",
	JOURNAL = "Journal of Logic Programming",
	VOLUME = "8", NUMBER = "1",
	YEAR = "1990",
	PAGES = "41--52"	)


@UNPUBLISHED(	Kol87,
	AUTHOR = "Kolaitis, P. G.",
	TITLE = "The Expressive Power of Stratified Programs",
	ADDRESS = "Stanford University",
	NOTE = "(manuscript)",
	YEAR = "1987" )

@ARTICLE(	Kol90,
	AUTHOR = "Kolaitis, P. G.",
	TITLE = "The Expressive Power of Stratified Programs",
	JOURNAL = "Information and Computation",
	NOTE = "(to appear; also available as UCSC-CRL-89-14
			from UC Santa Cruz)",
	YEAR = "1990" )

@ARTICLE(	McC80,
	AUTHOR = "McCarthy, J.",
	TITLE = "Circumscription -- a form of non-monotonic reasoning",
	JOURNAL = "Artificial Intelligence",
	VOLUME = "13", NUMBER = "1",
	YEAR = "1980",
	PAGES = "27--39"	)

@INPROCEEDINGS(	McC84,
	AUTHOR = "McCarthy, J.",
	TITLE = "Applications of circumscription to formalizing
		common sense knowledge",
	BOOKTITLE = "{AAAI} Workshop on Non-Monotonic Reasoning",
	YEAR = "1984",
	PAGES = "295--323"	)


@ARTICLE(	Imm86,
	AUTHOR = "Immerman, N.",
	TITLE = "Relational Queries Computable in Polynomial Time",
	JOURNAL = "Information and Control",
	VOLUME = "68", NUMBER = "1",
	YEAR = "1986",
	PAGES = "86--104"	)

@ARTICLE(	GS86,
	AUTHOR = "Gurevich, Y. and Shelah, S.",
	TITLE = "Fixed-Point extensions of first order logic",
	JOURNAL = "Annals of Pure and Applied Logic",
	VOLUME = "32",
	YEAR = "1986",
	PAGES = "265--280"	)

@ARTICLE(	CH85,
	AUTHOR = "Chandra, A. and Harel, D.",
	TITLE = "Horn Clause Queries and Generalizations",
	JOURNAL = "Journal of Logic Programming",
	VOLUME = "2", NUMBER = "1",
	YEAR = "1985",
	PAGES = "1--15"	)

@ARTICLE(	Mos74b,
	AUTHOR = "Moschovakis, Y. N.",
	TITLE = "On Nonmonotonone Inductive Definability",
	JOURNAL = "Fundamenta Mathematica",
	VOLUME = "82", NUMBER = "1",
	YEAR = "1974",
	PAGES = "39--83"	)

@INPROCEEDINGS(	KP88,
	AUTHOR = "Kolaitis, P. G. and Papadimitriou, C. H.",
	TITLE = "Why not negation by fixpoint?",
	BOOKTITLE = "{ACM} Symposium on Principles of Database Systems",
	YEAR = "1988",
	PAGES = "231--239"	)

@INPROCEEDINGS(	AV88a,
	AUTHOR = "S. Abiteboul and V. Vianu",
	TITLE = "Procedural and declarative database update languages",
	BOOKTITLE = "{ACM} Symposium on Principles of Database Systems",
	YEAR = "1988",
	PAGES = "240--250"	)


@BOOK(	Mos74,
	AUTHOR = "Moschovakis, Y. N.",
	TITLE = "Elementary Induction on Abstract Structures",
	PUBLISHER = "North-Holland",
	ADDRESS = "New York",
	YEAR = "1974"	)

@INBOOK(	Acz77,
	AUTHOR = "Aczel, P.",
	EDITOR = "Barwise, J.",
	TITLE = "An introduction to inductive definitions",
	BOOKTITLE = "Handbook of Mathematical Logic",
	PUBLISHER = "North-Holland",
	ADDRESS = "New York",
	PAGES = "739--782",
	YEAR = "1977"	)

@INBOOK(	RA74,
	AUTHOR = "Richter, W. and Aczel, P.",
	EDITOR = "Fenstad, J. E. and Hinman, P. G.",
	TITLE = "Generalized Recursion Theory",
	BOOKTITLE = "Generalized Recursion Theory, {I}",
	PUBLISHER = "North-Holland",
	ADDRESS = "New York",
	PAGES = "301--381",
	YEAR = "1974"	)

@UNPUBLISHED(	Abi88,
	AUTHOR = "Abiteboul, S.",
	TITLE = "(untitled communication)",
	NOTE = "(manuscript), I.\ N.\ R.\ I.\ A.",
	YEAR = "1987" )

@INPROCEEDINGS(	HS88,
	AUTHOR = "R. Hull and J. Su",
	TITLE = "On the Expressive Power of Database Queries
		with Intermediate Types",
	BOOKTITLE = "{ACM} Symposium on Principles of Database Systems",
	YEAR = "1988",
	PAGES = "39--51"	)


@INPROCEEDINGS(	Kup88,
	AUTHOR = "G. M. Kuper",
	TITLE = "On the Expressive Power of Logic Programming Languages
		with Sets",
	BOOKTITLE = "{ACM} Symposium on Principles of Database Systems",
	YEAR = "1988",
	PAGES = "10--14"	)

@TECHREPORT(	VG88b,
	AUTHOR = "Van Gelder, A.",
	TITLE = "On the Equivalent Expressive Power of
		Several Fixpoint Logics",
	INSTITUTION = "Univ. of Calif.",
	ADDRESS = "Santa Cruz",
	NOTE = "(manuscript)",
	YEAR = "1988" )


@INPROCEEDINGS(	VG88c,
	AUTHOR = "Van Gelder, A.",
	TITLE = "The Alternating Fixpoint of Logic Programs with Negation",
	NOTE = "Available from UC Santa Cruz as UCSC-CRL-88-17",
	BOOKTITLE = "Eighth {ACM} Symposium on Principles of Database Systems",
	PAGES = "1--10",
	YEAR = "1989" )


@ARTICLE(	VG89a,
	AUTHOR = "Van Gelder, A.",
	TITLE = "Negation as Failure Using Tight Derivations for
		General Logic Programs",
	JOURNAL = "Journal of Logic Programming",
	VOLUME = "6", NUMBER = "1",
	YEAR = "1989",
	NOTE = "Preliminary versions appeared in
		{\it Third IEEE Symp.~on Logic Programming} (1986), and
		{\it Foundations of Deductive Databases and Logic Programming},
		J.~Minker, ed., Morgan Kaufmann, 1988.",
	PAGES = "109--133"	)


@INPROCEEDINGS(	VG89b,
	AUTHOR = "Van Gelder, A.",
	TITLE = "The Alternating Fixpoint of Logic Programs with Negation",
	NOTE = "Full version available from UC Santa Cruz as UCSC-CRL-89-39",
	BOOKTITLE = "Eighth {ACM} Symposium on Principles of Database Systems",
	PAGES = "1--10",
	YEAR = "1989" )

@TECHREPORT(	VG88d,
	AUTHOR = "Van Gelder, A.",
	TITLE = "The Expressive Power of Wellfounded Fixpoint Logic",
	INSTITUTION = "Univ. of Calif.",
	ADDRESS = "Santa Cruz",
	NUMBER = "UCSC-CRL-88-37",
	YEAR = "1988" )

@INPROCEEDINGS(	Ros89,
	AUTHOR = "Ross, K. A.",
	TITLE = "A Procedural Semantics for Well-Founded Negation
		in Logic Programs",
	BOOKTITLE = "Eighth {ACM} Symposium on Principles of Database Systems",
	PAGES = "22--33",
	YEAR = "1989" )


@INPROCEEDINGS(	PP88,
	AUTHOR = "Przymusinska, H. and Przymusinski, T. C.",
	TITLE = "Weakly perfect model semantics for logic programs",
	BOOKTITLE = "Fifth Int'l Conf.\ Symp. on Logic Programming",
	ADDRESS = "Seattle",
	PAGES = "1106--1120",
	YEAR = "1988" )

@INPROCEEDINGS(	FB88,
	AUTHOR = "Fitting, M. and Ben-Jacob, M.",
	TITLE = "Stratified and three-valued logic programming semantics",
	BOOKTITLE = "Fifth Int'l Conf.\ Symp. on Logic Programming",
	ADDRESS = "Seattle",
	PAGES = "1054--1069",
	YEAR = "1988" )

@INPROCEEDINGS(	GL88,
	AUTHOR = "Gelfond, M. and Lifschitz, V.",
	TITLE = "The Stable Model Semantics for Logic Programming",
	BOOKTITLE = "Fifth Int'l Conf.\ Symp. on Logic Programming",
	ADDRESS = "Seattle",
	PAGES = "1070--1080",
	YEAR = "1988" )


@UNPUBLISHED(	Mor87,
	AUTHOR = "Morris, K.",
	NOTE = "Talk at Workshop XP8.3i, Oregon Graduate Center",
	MONTH = "July",
	YEAR = "1987"	)

@ARTICLE(	LT84,
	AUTHOR = "Lloyd, J. W. and Topor, R. W.",
	TITLE = "Making {P}rolog more expressive",
	JOURNAL = "Journal of Logic Programming",
	VOLUME = "1", NUMBER = "3",
	YEAR = "1984",
	PAGES = "225--240"	)

@TECHREPORT(	Cho88,
	AUTHOR = "Cholak, P.",
	TITLE = "Post Correspondence Problem and {P}rolog Programs",
	INSTITUTION = "Univ.\ of Wisc.",
	ADDRESS = "Madison",
	NOTE = "(manuscript)",
	YEAR = "1988"	)

@INPROCEEDINGS(	Prz88c,
	AUTHOR = "Przymusinski, T. C.",
	TITLE = "Every logic program has a natural stratification
		and an iterated fixed point model",
	BOOKTITLE = "Eighth {ACM} Symposium on Principles of Database Systems",
	PAGES = "11--21",
	YEAR = "1989" )

@INPROCEEDINGS(	Bry89,
	AUTHOR = "Bry, F.",
	TITLE = "Logic programming as constructiveism:
		a formalization and its application to databases",
	BOOKTITLE = "Eighth {ACM} Symposium on Principles of Database Systems",
	PAGES = "34--50",
	YEAR = "1989" )

@TECHREPORT(	Sch88,
	AUTHOR = "Schlipf, J. S.",
	TITLE = "Choosing Inference Rules for Logic Programming",
	INSTITUTION = "Univ.\ of Cincinnati",
	NOTE = "(manuscript)",
	YEAR = "1988" )

@TECHREPORT(	Sch89,
	AUTHOR = "Schlipf, J. S.",
	TITLE = "Inductive Definability and Semantics of Logic Programs",
	INSTITUTION = "Univ.\ of Cincinnati",
	NOTE = "(manuscript)",
	YEAR = "1989" )

@TECHREPORT(	DK89,
	AUTHOR = "Dung, Ph. M. and Kanchanasut, K.",
	TITLE = "A Natural Semantics for Logic Programs with Negation",
	INSTITUTION = "Asian Institute of Technology",
	ADDRESS = "Bankok 10501, Thailand",
	NOTE = "(manuscript)",
	YEAR = "1989" )


@INBOOK(	PP90,
	AUTHOR = "Przymusinska, H. and Przymusinski, T.",
	EDITOR = "Banerji, R.",
	TITLE = "Semantic issues in deductive databases and logic programs",
	BOOKTITLE = "Formal Approaches to Artificial Intelligence:
		A Sourcebook",
	PUBLISHER = "North-Holland",
	ADDRESS = "New York",
	YEAR = "1990"	)

@TECHREPORT(	SZ89,
	AUTHOR = "Sacc\`{a}, D. and Zaniolo, C.",
	TITLE = "Stable Models and Non-Determinism in Logic Programs
		with Negation",
	INSTITUTION = "{MCC}",
	ADDRESS = "Austin, TX",
	NOTE = "(manuscript)",
	YEAR = "1989"	)

@INPROCEEDINGS(	Sch90b,
	AUTHOR = "Schlipf, J. S.",
	TITLE = "The Expressive Powers of the Logic Programming Semantics",
	BOOKTITLE = "Ninth {ACM} Symposium on Principles of Database Systems",
	PAGES = "??--??",
	YEAR = "1990" )

@INPROCEEDINGS(	Ros90,
	AUTHOR = "Ross, K. A.",
	TITLE = "Modular Stratification and Magic Sets for {D}atalog Programs
		with Negation",
	BOOKTITLE = "Ninth {ACM} Symposium on Principles of Database Systems",
	PAGES = "??--??",
	YEAR = "1990" )

@INPROCEEDINGS(	Min82,
	AUTHOR = "Minker, J.",
	TITLE = "On indefinite databases and the closed world assumption",
	BOOKTITLE = "Sixth Conference  on Automated Deduction",
	PUBLISHER = "Springer-Verlag",
	ADDRESS = "New York",
	PAGES = "292--308",
	YEAR = "1982" )

@BOOK(	Dum77,
	AUTHOR = "Dummett, M. A. E.",
	TITLE = "Elements of Intuitionism",
	PUBLISHER = "Clarendon Press",
	ADDRESS = "Oxford",
	YEAR = "1977"	)