@incollection(Colmerauer:mgs,
   author={Alain Colmerauer},
   title={Metamorphosis Grammars},
   publisher={Springer-Verlag},
   year={1978},
   pages="133-187",
   editor={Leonard Bolc},
   booktitle={Natural Language Communication with Computers},
   note={First appeared as ``Les Grammaires de Metamorphose'',
		Groupe d'Intelligence Artificielle, Universit\'{e} 
		de Marseille II, November 1975.}
)

@article(Pereira+Warren:DCGs,
   key={Pereira and Warren},
   author={Fernando C. N. Pereira and David H. D. Warren},
   title={Definite Clause Grammars for Language Analysis---a Survey
          of the Formalism and a Comparison with
          Augmented Transition Networks},
   journal={Artificial Intelligence},
   volume={13},
   pages={231-278},
   year={1980})

@Article{Lambek:sentstruct,
  author = 	"Joachim Lambek",
  title = 	"The Mathematics of Sentence Structure",
  journal = 	"American Mathematical Monthly",
  year = 	"1958",
  volume = 	"65",
  pages = 	"154-170"
}

@InProceedings(Pereira+Warren:ED,
   Key={Pereira and Warren},
   Author={Fernando C. N. Pereira and David H. D. Warren},
   BookTitle={Proceedings of the 21st Annual Meeting of the
		  Association for Computational Linguistics}, 
   Title={Parsing as Deduction},
   pages={137-144},
   Year={1983},
   Address={Cambridge, Massachusetts},
   Month={June 15--17}
)

@Book{Shieber:inference,
  author = 	 "Stuart M. Shieber",
  title = 	 "Constraint-Based Grammar Formalisms",
  publisher = 	 "{MIT} Press",
  address = "Cambridge, Massachusetts",
  year = 	 1992
}

@Book{Carpenter:logic,
  author = 	 "Bob Carpenter",
  title = 	 "The Logic of Typed Feature Structures",
  publisher = 	 "Cambridge University Press",
  year = 	 1992,
  number =	 32,
  series =	 "Cambridge Tracts in Theoretical Computer Science",
  address = 	 "Cambridge, England"
}

@InProceedings{Rounds+Manaster-Ramer:fg,
  author = 	 "William C. Rounds and Alexis Manaster-Ramer",
  title = 	 "A Logical Version of Functional Grammar",
  pages = 	 "89-96",
  booktitle =    "Proceedings of the 25th Annual Meeting of the
		  Association for Computational Linguistics",
  year = 	 1987,
  organization = "Stanford University",
  address = 	 "Stanford, California"
}

@InCollection{Bancilhon+Ramakrishnan:amateur,
  author = 	"Fran\c{c}ois Bancilhon and Raghu Ramakrishnan",
  title = 	"An Amateur's Introduction to Recursive Query
		 Processing Strategies",
  chapter = 	"8.2",
  publisher = 	"Morgan Kaufmann",
  year = 	1988,
  type =	"Section",
  editor = 	"Michael Stonebraker",
  booktitle =	"Readings in Database Systems",
  pages = 	"507-555",
  address = 	"San Mateo, California"
}

@article(Sato+Tamaki:patterns,
   key={Sato and Tamaki},
   author={Taisuke Sato and Hisao Tamaki},
   title={Enumeration of Success Patterns in Logic Programs},
   journal={Theoretical Computer Science},
   volume={34},
   year={1984},
   pages={227-240})

@INPROCEEDINGS(Shieber:restriction,
	AUTHOR = {Stuart M. Shieber},
	TITLE = {Using Restriction to Extend Parsing Algorithms for
		 Complex-Feature-Based Formalisms}, 
	BOOKTITLE = {Proceedings of the 23rd Annual Meeting of the
		  Association for Computational Linguistics}, 
	YEAR = {1985},
	PAGES = {145-152},
	ORGANIZATION = {University of Chicago},
	ADDRESS = {Chicago, Illinois}
)

@ARTICLE{Shieber:criteria,
	AUTHOR = {Stuart M. Shieber},
	TITLE = {Criteria for Designing Computer Facilities for
		  Linguistic Analysis},
	JOURNAL = {Linguistics},
	YEAR = {1985},
	VOLUME = {23},
	PAGES = {189-211}
}

@Incollection(Bresnan+Kaplan:lfg,
   Key =	{Bresnan and Kaplan},
   Author =	{Joan Bresnan and Ron Kaplan},
   Booktitle =	{The Mental Representation of Grammatical Relations},
   Publisher =	{{MIT} Press},
   Title =	{Lexical-Functional Grammar: A Formal System for Grammatical
		  Representation}, 
   Year =	{1982},
   Editor =	{J. Bresnan},
   Pages =	{173-281}
   )

@InProceedings{Lassez+al:revisited,
  author = 	 "Jean-Louis Lassez and Michael J. Maher and Kim G. Marriot",
  title = 	 "Unification Revisited",
  booktitle =	 "Foundations of Deductive Databases and Logic Programming",
  editor = 	 "Jack Minker",
  year =	 1988,
  pages =	 "587-625",
  publisher =	 "Morgan Kaufmann",
  address =	 "San Mateo, California"
}

@InCollection{Naughton+Ramakrishnan:bottom-up,
  author = 	 "Jeffrey F. Naughton and Raghu Ramakrishnan",
  title = 	 "Bottom-up Evaluation of Logic Programs",
  booktitle =	 "Computational Logic: Essays in Honor of Alan Robinson",
  publisher =	 "MIT Press",
  year =	 1991,
  editor =	 "Jean-Louis Lassez and Gordon Plotkin",
  chapter =	 20,
  pages =	 "641-700",
  address =	 "Cambridge, Massachusetts"
}

@inproceedings{Ramakrishnan+al:coral,
        Author = "Raghu Ramakrishnan and Divesh Srivastava and
                S. Sudarshan",
        Title  = "{CORAL}: {C}ontrol, {R}elations and {L}ogic",
        Year   = "1992",
        Booktitle = "Procs.\ of the International Conf.\ on Very Large 
		Databases"
        }

@article(Earley:CACM,
   key={Earley},
   author={Jay Earley},
   title={An Efficient Context-Free Parsing Algorithm},
   journal={Communications of the {ACM}},
   volume={13},
   number={2},
   year={1970},
   month={February},
   pages={94-102},
   note={Reprinted in \fullcite{Grosz+al:readings}{Grosz {\it et al.}}{1986}.}
)

@PhdThesis{Earley:PhD,
  author = 	 "Jay Earley",
  title = 	 "An Efficient Context-Free Parsing Algorithm",
  school = 	 "Department of Computer Science, Carnegie-Mellon University",
  year = 	 1968,
  address =	 "Pittsburgh, Pennsylvania"
}

@PhDThesis{Moortgat:categorial,
  author = 	"Michael Moortgat",
  title = 	"Categorial Investigations: Logical and Linguistic
		 Aspects of the {Lambek} Calculus",
  school = 	"University of Amsterdam",
  year = 	"1988",
  address = 	"Amsterdam, The Netherlands",
  month = 	"October"
}
@article(ades-steedman,	
    key = {Ades and Steedman},
    AUTHOR = {Anthony E. Ades and Mark J. Steedman},
    TITLE = {On the Order of Words},
    JOURNAL = {Linguistics and Philosophy},
    YEAR = {1982},
    VOLUME = {4},
    NUMBER = {4},
    PAGES = {517-558}
    )

@INPROCEEDINGS{ss92a,
	AUTHOR = {Schabes, Yves and Shieber, Stuart},
	TITLE = {An Alternative Conception of Tree-Adjoining Derivation},
	BOOKTITLE = "Proceedings of the 20th Annual  Meeting of
	the Association for Computational Linguistics",
        pages = "167-176",
	YEAR = {1992}
 }

@Techreport(sw93-tr-04,
	Author= "Schabes, Yves and  Waters, Richard C.",
	Title= "Lexicalized Context-Free Grammar: A Cubic-Time Parsable
	Formalism that Strongly Lexicalizes Context-Free Grammar",
	Institution = "Mitsubishi Electric Research Laboratories",
	Address= "Cambridge, Massachusetts",
	Year= "1993",
	Number="93-04")

@Techreport(sw-TR-94-13,
	Author= "Schabes, Yves and  Waters, Richard C.",
	Title= "Tree Insertion Grammar: A Cubic-Time Parsable
	Formalism that Strongly Lexicalizes Context-Free Grammar",
	Institution = "Mitsubishi Electric Research Laboratories",
	Address= "Cambridge, Massachusetts",
	Year= "1994",
	Number="94-13")

@inproceedings(schabes93,
	Author= "Schabes, Yves and Waters, Richard C.",
	Title= "Lexicalized Context-Free Grammars",
	Year= "1993",
	address="Columbus, Ohio",
	pages="121-129",
	month="June",
	Booktitle="Proceedings of the 21st Annual Meeting of the
		  Association for Computational Linguistics")

@inproceedings(Hodas:gaps,
  author =	"Joshua S. Hodas",
  title =	"Specifying Filler-Gap Dependency Parsers in a
		  Linear-Logic Programming Language", 
  editor =	"Krzysztof Apt",
  booktitle =	"Proceedings of the Joint International Conference and
		  Symposium on Logic Programming", 
  address  =	 "Washington, DC",
  pages =	"622-636",
  year =	"1992")
 
@InProceedings{Pareschi+Miller:ICLP90,
  author = 	"Remo Pareschi and Dale A. Miller",
  title = 	"Extending Definite Clause Grammars with Scoping
		  Constructs", 
  booktitle = 	"Seventh International Conference on Logic
		  Programming", 
  year = 	1990,
  editor = 	"David H. D. Warren and Peter Szeredi",
  publisher = 	"{MIT} Press",
  address = 	"Jerusalem, Israel"
}

%%%
%%% The following references were added by Yves Schabes Sept 26, 3:18pm
%%%

@Article(jlt75,
	Author= "Joshi, Aravind K. and Levy, L. S.  and Takahashi,
		  M.", 
	Title= "Tree Adjunct Grammars",
	Journal= jcss,
	Year= "1975",
	Volume= 10,
	Number = 1,
        pages = "136-163")

@Incollection(j83,
	Author= "Aravind K. Joshi",
	Editor= "D. Dowty and L. Karttunen and A. Zwicky",
	Title= "How Much Context-Sensitivity is Necessary for
		  Characterizing Structural Descriptions---{Tree}
		  Adjoining Grammars", 
	Publisher= "Cambridge University Press",
	Address= "New York",
	Booktitle= "Natural Language Processing---{Theoretical},
	Computational and Psychological Perspectives",
	Year= 1985)

@Techreport(kj85,
	Author= "Kroch, Anthony and Joshi, Aravind K.",
	Title= "Linguistic Relevance of Tree Adjoining Grammars",
	Institution = "Department of Computer and Information
		  Science, University of Pennsylvania", 
	Address= "Philadelphia, Pennsylvania",
	Year= "1985",
	month="April",
	Number = "MS-CIS-85-18")

@TechReport(ka65,
	Author="T. Kasami",
	Title="An Efficient Recognition and Syntax Algorithm for
               Context-Free Languages",
	Number="AF-CRL-65-758",
	Institution="Air Force Cambridge Research Laboratory",
	Address="Bedford, Massachusetts",
	Year=1965)

@Article(y67,
	Author="D. H. Younger",
	Title="Recognition and Parsing of Context-Free Languages in Time
               $n^3$",
	Journal="Information and Control",
	Volume="10",
	Number=2,
	Year=1967,
	Pages="189-208")

@Article(e70,
	Author="Jay C. Earley",
	Title="An Efficient Context-Free Parsing Algorithm",
	Journal="Communications of the ACM",
	Volume="13",
	Number=2,
	Year=1970,
	Pages="94-102")

@Book{cle,
  title = 	"The Core Language Engine",
  publisher = 	"MIT Press",
  year = 	1992,
  editor = 	"Hiyan Alshawi",
  series = 	"ACL-MIT Press Series in Natural Language Processing",
  address = 	"Cambridge, Massachusetts"
}

@Article(schabes-ci94,
	Author= "Schabes, Yves",
	Title= "Left to Right Parsing of Lexicalized Tree-Adjoining
		  Grammars", 
	Journal="Computational Intelligence",
	Note="To appear",
	Year=1994
	)

@inproceedings{xtag92,
	AUTHOR = { Paroubek, Patrick and Schabes, Yves and Joshi, Aravind~K.},
	TITLE = {{XTAG} --- A Graphical Workbench for Developing
	Tree-Adjoining Grammars},
	Booktitle = {Proceedings of the Third Conference on Applied
	Natural Language Processing},
        pages = {216-223},
	address="Trento, Italy",
	YEAR = {1992}
}

@phdthesis(v87,
	Author =	"K. Vijay-Shanker",
	Title =	"A Study of Tree Adjoining Grammars",
	school = "Department of Computer and Information
		  Science, University of Pennsylvania",
	address =	"Philadelphia, Pennsylvania",
	Year =	"1987"
 )

@InProceedings{Maher+Ramakrishnan:fixpoints,
  author = 	 "Michael J. Maher and Raghu Ramakrishnan",
  title = 	 "D\'{e}j\`{a} Vu in Fixpoints of Logic Programs",
  booktitle =	 "Logic Programming: Proceedings of the North American
		  Conference", 
  year =	 1989,
  pages = "963-980",
  editor = "Ewing L. Lusk and Ross A. Overbeek",
  publisher = "{MIT} Press",
  institution = "Cleveland, Ohio",
  address =	 "Cambridge, Massachusetts"
}

@InProceedings{Ramakrishan:templates,
  author = 	"Raghu Ramakrishnan",
  title = 	"Magic Templates: A Spellbinding Approach to Logic Programs",
  booktitle = 	"Logic Programming: Proceedings of the Fifth
		 International Conference and Symposium",
  year = 	1988,
  editor = 	"Robert A. Kowalski and Kenneth A. Bowen",
  pages = 	"140-159",
  publisher = 	"{MIT} Press",
  address = 	"Seattle, Washington"
}

@InProceedings{Pentus93,
  title =	{Lambek Grammars Are Context Free},
  author =	{M. Pentus},
  booktitle =	{Proceedings of the Eighth Annual IEEE Symposium on
		  Logic in Computer Science}, 
  year =	1993,
  month =	{19--23 June},
  address =	{Montreal, Canada},
  organization =	{IEEE Computer Society Press},
  pages =	{429-433}
  }

@Article{vw93,
  author = 	 "K. Vijay-Shanker and David J. Weir",
  title = 	 "Parsing Some Constrained Grammar Formalisms",
  journal =	 "Computational Linguistics",
  year =	 1993,
  volume =	 19,
  number =	 4,
  pages =	 "591-636",
  month =	 "December"
}

@INCOLLECTION(kay-chart-parsing,
	key = {Kay},
	AUTHOR = {Martin Kay},
	TITLE = {Algorithm Schemata and Data Structures in Syntactic
		  Processing}, 
	BOOKTITLE = {Readings in Natural Language Processing},
	PUBLISHER = {Morgan Kaufmann},
	YEAR = {1986},
	EDITOR = {Barbara J. Grosz and Karen Sparck Jones and Bonnie
		  Lynn Webber}, 
	CHAPTER = {I.~4},
	PAGES = {35-70},
	ADDRESS = {Los Altos, California},
	NOTE = {Originally published as a Xerox PARC technical report, 1980}
)

@InProceedings{Lang:74,
  author = 	"Bernard Lang",
  title = 	"Deterministic Techniques for Efficient
		 Non-deterministic Parsers",
  booktitle = 	"Proceedings of the 2nd Colloquium on Automata,
		 Languages and Programming",
  year = 	"1974",
  editor = 	"J. Loeckx",
  pages = 	"255--269",
  publisher = 	"Springer-Verlag",
  address = 	"Saarbr{\"{u}}cken, Germany"
}
@InProceedings{Billot+Lang:shared,
  author = 	 "Sylvie Billot and Bernard Lang",
  title = 	 "The Structure of Shared Forests in Ambiguous Parsing",
  booktitle = 	"Proceedings of the 27th Annual Meeting of the
		  Association for Computational Linguistics", 
  year = 	1989,
  pages = 	"143-151",
  address = 	"Vancouver, British Columbia",
  month = 	"26-29 June"}
}