Ahlswede, Thomas E., 'A tool kit for lexicon building,' ACL
Proceedings, 23rd Annual Meeting, pp. 268-276, 1985.

Aho, Alfred V., 'Indexed grammars-an extension of context-free
grammars,' Journal of the ACM, vol. 15, pp. 647-671, 1968.

Aho, Alfred V., John E. Hopcroft, and Jeffrey D. Ullman, Data
Structures and Algorithms, Addison Wesley, Reading, Ma,
1982.

Aho, Alfred V. and Jeffrey D. Ullman, The Theory of Parsing,
Translation, and Compiling, Prentice-Hall, Englewood Cliffs,
New Jersey, 1972.

Aho, Alfred V. and Jeffrey D. Ullman, Principles of Compiler
Design, Addison Wesley, Reading, Ma, 1977.

Alam, Yukiko Sasaki, 'A two-level morphological analysis of
Japanese,' Texas Linguistic Forum, vol. 22, pp. 229-252,
1983.

Allen, James F., 'Recognizing intentions from natural language
utterances,' in Computational Models of Discourse, ed.
Michael Brady and Robert C. Berwick, pp. 107-166, MIT Press,
Cambridge, Ma., 1983.

Allen, James, Natural Language Understanding, Benjamin/Cummings,
Menlo Park, 1987.

Allen, James F. and C. Raymond Perrault, 'Analyzing intention in
utterances,' Artificial Intelligence, vol. 15, no. 3, pp.
143-178, 1980.
Reprinted in Readings in Natural Language Processing, ed.
Barbara J. Grosz, Karen Sparck-Jones and Bonnie Lynn Webber,
pp. 441-458, Morgan Kaufmann, Los Altos, 1986 (1980).

Alshawi, Hiyan, Memory and Context for Language Interpretation,
Cambridge University Press, Cambridge, 1987.

Alshawi, Hiyan, Branimir K. Boguraev, and Edward J. Briscoe,
'Towards a dictionary support environment for real time
parsing,' ACL Proceedings, Second European Conference, pp.
171-178, 1985.

Appelt, Douglas E., Planning English Sentences, Cambridge
University Press, Cambridge, 1985.

Ballard, Bruce W. and Mark A. Jones, 'Computational linguistics,'
in Encyclopaedia of Artificial Intelligence, ed. Stuart C.
Shapiro, pp. 133-151, Wiley, New York, 1987.

Barnett, Brigitte, Hubert Lehmann, and Magdalena Zoeppritz, 'A
word database for natural language processing,' COLING-86,
pp. 435-440, 1986.

Barr, Avron and Edward A. Feigenbaum, eds., The Handbook of
Artificial Intelligence, 1, William Kaufmann., Palo Alto,
1981.

Barrett, Rosalind, Allan Ramsay, and Aaron Sloman, POP-11: A
Practical Language for Artificial Intelligence, Ellis
Horwood, Chichester, 1985.

Barton Jr., G. Edward, Robert C. Berwick, and Eric Sven Ristad,
Computational Complexity and Natural Language, MIT Press,
Cambridge, Ma., 1987.

Bartsch, Renate, 'Frame representations and discourse
representations,' Theoretical Linguistics, vol. 14, no. 1,
pp. 65-117, 1987.

Barwise, Jon, 'Some computational aspects of situation
semantics,' ACL Proceedings, 19th Annual Meeting, pp. 109-
111, 1981.

Barwise, Jon and John Perry, Situations and Attitudes, MIT Press,
Cambridge MA, 1983.

Bates, Madeleine, 'The theory and practice of ATN grammars,' in
Natural Language Communication with Computers, ed. L. Bolc,
pp. ??-??, Springer Verlag, Berlin, 1978.

Bear, John, 'Morphology with two-level rules and negative rule
features,' COLING-88, pp. 28-31, 1988.

Beierle, Christoph and Udo Pletat, 'Feature graphs and abstract
data types: a unifying approach,' COLING-88, pp. 40-45,
1988.

Benthem, Johan van and Alice ter Meulen, Generalized quantifiers
in natural language, Foris, Dordrecht, 1985.

Bla^berg, Olli, 'A two-level description of Swedish,' in
Computational Morphosyntax: Report on Research 1981-1984,
ed. Fred Karlsson, pp. 43-62, University of Helsinki,
Helsinki, 1985.

Black, Alan, Graeme Ritchie, Steve Pulman, and Graham Russell,
'Formalisms for morphographemic description,' ACL
Proceedings, Third European Conference, pp. 11-18, 1987.

Blank, Glenn D., 'A new kind of finite-state automation: register                     
vector grammar,' IJCAI-85, vol. 2, pp. 749-755, 1985.

Bobrow, Danny G. and J. Bruce Fraser, 'An augmented state
transition network analysis procedure,' IJCAI-69, pp. 557-
567, 1969.

Boguraev, Branimir K., David Carter, and Ted Briscoe, 'A multi-
purpose interface to an on-line dictionary,' ACL
Proceedings, Third European Conference, pp. 63-69, 1987a.

Boguraev, Branimir K., Edward J. Briscoe, John Carroll, David
Carter, and Claire Grover, 'The derivation of grammatically
indexed lexicon from the Longman Dictionary of Contemporary
English,' ACL Proceedings, 25th Annual Meeting, pp. 193-200,
1987b.

Bolc, ed., Leonard, Natural Language Question Answering Systems,
Hanser, Munich, 1980.

Bouma, Gosse, 'Modifiers and specifiers in categorial unification
grammar,' Linguistics, vol. 26, no. 1, pp. 21-46, 1988.

Brachman, Ronald J. and Hector J. Levesque, Readings in Knowledge
Representation, Morgan Kaufmann, Los Altos, 1985.

Brachman, Ronald J. and J. Schmolze, 'An overview of the KL-ONE
knowledge representation system,' Cognitive Science, vol. 9,
no. 2, pp. 171-216, 1985.

Briscoe, Edward J. and Branimir K. Boguraev, Computational
Lexicography for Natural Language Processing, Longman/Wiley,
London/New York, 1988.

Brodda, Benny, 'BetaText: an event driven text processing and
text analyzing system,' COLING-86, pp. 421-422, 1986.

Bruce, Bertram C. and M.G. Moser, 'Case grammar,' in
Encyclopaedia of Artificial Intelligence, ed. Stuart C.
Shapiro, pp. 333-339, Wiley, New York, 1987.

Bundy, Alan, The Computer Modelling of Mathematical Reasoning,
Academic Press, London, 1983.

Bunt, Harry C., 'The resolution of quantificational ambiguities
in the TENDUM computational linguistics research system,'
COLING-84, pp. 130-133, 1984.

Burton, Mike and Nigel Shadbolt, POP-11 Programming for Artifical
Intelligence, Addison Wesley, Wokingham, 1987.

Calder, Jonathan, Ewan Klein, and Henk Zeevat, 'Unification
Categorial Grammar: a concise, extendable grammar for
natural language processing,' COLING-88, pp. 83-86, 1988.

Calzolari, Nicoletta and Eugenio Picchi, 'Acquisition of semantic
information from an on-line dictionary,' COLING-88, pp. 87-
92, 1988.

Carden, Guy, 'The non-finite-state-ness of the word formation
component,' Linguistic Inquiry, vol. 14, pp. 537-541, 1983.

Carlson, Lauri and Krister Linden, 'Unification as a grammatical
tool,' Nordic Journal of Linguistics, vol. 10, no. 2, pp.
111-136, 1987.

Carson, Julie, 'Unification and transduction in computational
phonology,' COLING-88, pp. 106-111, 1988.

Cercone, Nick, Max Krause, and John Boates, 'Minimal and almost
minimal perfect hash function search with application to
natural language lexicon design,' Computers and Mathematics
with Applications, vol. 9, no. 1, pp. 215-231, 1983.

Charniak, Eugene, 'Jack and Jane in search of a theory of
knowledge,' in Readings in Natural Language Processing, ed.
Barbara J. Grosz, Karen Sparck-Jones and Bonnie Lynn Webber,
pp. 331-337, Morgan Kaufmann, Los Altos, 1986 (1973).

Charniak, Eugene, 'A parser with something for everyone,' in
Parsing Natural Language, ed. Margaret King, pp. 117-149,
Academic Press, London, 1983.

Charniak, Eugene and Robert Goldman, 'A logic for semantic
interpretation,' ACL Proceedings, 26th Annual Meeting, pp.
00-00, 1988.

Charniak, Eugene and Robert Goldman, 'A logic for semantic
interpretation,' ACL Proceedings, 26th Annual Meeting, pp.
00-00, 1988.

Charniak, Eugene and Drew V. McDermott, Introduction to
Artificial Intelligence, Addison Wesley, Reading, Ma, 1985.

Charniak, Eugene, Christopher K. Riesbeck, and Drew V. McDermott,
Artificial Intelligence Programming, Lawrence Erlbaum,
Hillsdale, 1980.

Choffrut, Christian and Karel Culik II, 'Properties of finite and
pushdown transducers,' SIAM Journal of Computing, vol. 12,
no. 2, pp. 300-315, 1983.

Church, Kenneth W., 'A finite-state parser for use in speech
recognition,' ACL Proceedings, 21st Annual Meeting, pp. 91-
97, 1983a.

Church, Kenneth W., 'Phrase Structure Parsing: A Method for
Taking Advantage of Allophonic Constraints,' MIT PhD
Dissertation, Indiana University Linguistics Club,
Bloomington, 1983b.                     

Church, Kenneth W. and Ramesh Patil, 'Coping with syntactic
ambiguity or how to put the block in the box on the table,'
American Journal of Computational Linguistics, vol. 8, no.
3-4, pp. 139-149, 1982.

Cohen, Philip R., 'Referring as requesting,' COLING-84, pp. 207-
211, 1984.

Cohen, Philip R. and Hector J. Levesque, 'Speech acts and
rationality,' ACL Proceedings, 23rd Annual Meeting, pp. 49-
60, 1985.

Cohen, Philip R. and C. Raymond Perrault, 'Elements of a plan-
based theory of speech acts,' in Readings in Natural
Language Processing, ed. Barbara J. Grosz, Karen Sparck-
Jones and Bonnie Lynn Webber, pp. 423-440, Morgan Kaufmann,
Los Altos, 1986 (1979).

Colmerauer, Alain, 'Metamorphosis grammars,' in Natural Language
Communication with Computers, ed. L. Bolc, pp. 133-189,
Springer Verlag, Berlin, 1978.

Conway, M.E., 'Design of a separable transition-diagram
compiler,' Communications of the ACM, vol. 6, no. 7, pp.
396-408, 1963.

Cooper, Robin, Quantification and Syntactic Theory, Reidel,
Dordrecht, 1983.

Cooper, Robin, 'Meaning representation in Montague grammar and
situation semantics,' Computational Intelligence, vol. 3,
no. 1, pp. 35-44, 1987.

Cullingford, Richard E., 'SAM,' in Readings in Natural Language
Processing, ed. Barbara J. Grosz, Karen Sparck-Jones and
Bonnie Lynn Webber, pp. 627-649, Morgan Kaufmann, Los Altos,
1986 (1981).

Culy, Christopher, 'The complexity of the vocabulary of Bambara,'
Linguistics and Philosophy, vol. 8, no. 3, pp. 345-351,
1985.

Daelemans, Walter M. P., 'A tool for the automatic creation,
extension and updating of lexical knowledge bases,' ACL
Proceedings, Third European Conference, pp. 70-74, 1987.

Daly, R. T., Applications of the Mathematical Theory of
Linguistics, Mouton, The Hague, 1974.

De Smedt, Koenraad, 'Using object-oriented knowledge-
representation techniques in morphology and syntax
programming,' ECAI-84, pp. 181-184, 1984.

Domenig, Marc and Patrick Shann, 'Towards a dedicated database
management system for dictionaries,' COLING-86, pp. 91-96,
1986.

Dowty, David R., Lauri Karttunen, and Arnold M. Zwicky, eds.,
Natural Language Parsing, Cambridge University Press,
Cambridge, 1985.

Dowty, David R., Robert Wall, and P. Stanley Peters, Introduction
to Montague Semantics, Reidel, Dordrecht, 1981.

Dyer, Michael G., Richard E. Cullingford, and S. Alvarado,
'Scripts,' in Encyclopaedia of Artificial Intelligence, ed.
Stuart C. Shapiro, pp. 980-994, Wiley, New York, 1987.

Earley, Jay, 'An efficient context-free parsing algorithm,'
Communications of the ACM, vol. 14, pp. 453-460, 1970.
Reprinted in
Readings in Natural Language Processing, ed. Barbara J.
Grosz, Karen Sparck-Jones and Bonnie Lynn Webber, pp. 25-33,
Morgan Kaufmann, Los Altos, 1986 (1970).

Ejerhed, Eva, 'The processing of unbounded dependencies in
Swedish,' in Readings on Unbounded Dependencies in
Scandinavian Languages, ed. Elisabet Engdahl and Eva
Ejerhed, pp. 99-149, Almqvist & Wiksell, Stockholm, 1982.

Ejerhed, Eva and Kenneth W. Church, 'Finite state parsing,' in
Papers from the Seventh Scandinavian Conference of
Linguistics, ed. Fred Karlsson, pp. 410-432, University of
Helsinki, Helsinki, 1983.

Engdahl, Elisabet, Constituent Questions, Reidel, Dordrecht,
1986.

Etherington, David W., Reasoning with Incomplete Information,
Pitman/Morgan Kaufmann, London/Los Altos, 1988.

Evans, David A., 'A situation semantics approach to the analysis
of speech acts,' ACL Proceedings, 19th Annual Meeting, pp.
113-116, 1981.

Evans, David A. and Sandra Katz, 'A practical lexicon for
constrained NLP,' in ESCOL'86 Proceedings of the Third
Eastern States Conference on Linguistics, ed. Fred Marshall,
Ann Miller and Zheng-sheng Zhang, pp. 151-162, Ohio State
University, Columbus, 1986.

Evans, David A. and Dana S. Scott, 'Concepts as procedures,' in
ESCOL'86 Proceedings of the Third Eastern States Conference
on Linguistics, ed. Fred Marshall, Ann Miller and Zheng-
sheng Zhang, pp. 533-543, Ohio State University, Columbus,
1986.

Evey, R. James, 'Application of pushdown-store machines,' in
Proceedings of the 1963 Fall Joint Computer Conference, pp.
215-227, AFIPS Press, Montvale, N.J., 1963.

Fenstad, Jens Erik, Per-Kristian Halvorsen, Tore Langholm, and
Johan van Benthem, Situations, Language and Logic, Reidel,
Dordrecht, 1987.

Fillmore, Charles J., 'The case for case,' in Universals in
Linguistic Theory, ed. Emmon Bach and Robert Harms, pp. 1-
88, Holt, Rinehart and Winston, New York, 1968.

Flickinger, Daniel P., Carl J. Pollard, and Thomas Wasow,
'Structure-sharing in lexical representation,' ACL
Proceedings, 23rd Annual Meeting, pp. 262-267, 1985.

Frazier, Lyn and Janet D. Fodor, 'The sausage machine: a new two
stage parsing model,' Cognition, vol. 6, pp. 291-325, 1978.

Friedman, Joyce, Douglas B. Moran, and David S. Warren, 'An
interpretation system for Montague grammar,' American
Journal of Computational Linguistics, vol. 5, 1978a.
Microfiche 74

Friedman, Joyce, Douglas B. Moran, and David S. Warren, 'Explicit
finite intensional Models for PTQ,' American Journal of
Computational Linguistics, vol. 5, 1978b.  Microfiche 74

Frisch, Alan M., 'Parsing with restricted quantification: an
initial demonstration,' Computational Intelligence, vol. 2,
no. 3, pp. 142-150, 1986.

Gajek, Oliver, Hanno T. Beck, Diane Elder, and Greg Whittemore,
'KIMMO Lisp implementation,' Texas Linguistic Forum, vol.
22, pp. 187-202, 1983.

Gallaire, H. and Jack Minker, Logic and Databases, Plenum, New
York, 1978.

Gallier, Jean H., Logic for Computer Science, Harper & Row, New
York, 1986.

Ga'denfors, Peter, Generalized Quantifiers, Reidel, Dordrecht,
1987.

Garnham, Alan, 'What's wrong with story grammars?,' Cognition,
vol. 15, pp. 145-154, 1983.

Gazdar, Gerald, Geoffrey K. Pullum, Robert Carpenter, Ewan Klein,
Thomas E. Hukari, and Robert D. Levine, 'Category
structures,' Computational Linguistics, vol. 14, no. 1, pp.
1-19, 1988.

Gazdar, Gerald, 'Review article: finite state morphology,'
Linguistics, vol. 23, no. 4, pp. 597-607, 1985.

Gazdar, Gerald, 'Linguistic applications of default inheritance
mechanisms,' in Linguistic Theory & Computer Applications,
ed. Peter Whitelock, Mary McGee Wood, Harold L. Somers, Rod
L. Johnson and Paul Bennett, pp. 37-67, Academic Press,
London, 1987.

Gazdar, Gerald, 'Applicability of indexed grammars to natural
languages,' in Natural Language Parsing and Linguistic
Theories, ed. U. Reyle and C. Rohrer, pp. 69-94, D. Reidel,
Dordrecht, 1988.

Gazdar, Gerald, Alex Franz, Karen Osborne, and Roger Evans,
Natural Language Processing in the 1980s: A Bibliography,
University of Chicago Press, Chicago, 1987.

Gazdar, Gerald and Geoffrey K. Pullum, 'Computationally relevant
properties of natural languages and their grammars,' New
Generation Computing, vol. 3, pp. 273-306, 1985.

Gazdar, Gerald, Ewan Klein, Geoffrey Pullum, and Ivan Sag,
Generalized Phrase Structure Grammar, Blackwell, Oxford,
1985.

Genesereth, Michael R. and Nils J. Nilsson, Logical Foundations
of Artificial Intelligence, Morgan Kaufmann, Los Altos,
1987.

Gersting, Judith L., Mathematical Structures for Computer
Science, W.H. Freeman, San Francisco, 1982.

Gibbon, Dafydd, 'Finite state processing of tone systems,' ACL
Proceedings, Third European Conference, pp. 291-297, 1987.

Ginsberg, Matthew L., Readings in Nonmonotonic Reasoning, Morgan
Kaufmann, Los Altos, 1987.

Go'rz, Gu'nther, 'GLP: a general linguistic processor,' IJCAI-81,
vol. 1, pp. 429-431, 1981.

Go'rz, Gu'nther, 'Applying a chart parser to speech understanding,'
ECAI-82, pp. 257-258, 1982.

Go'rz, Gu'nther and Dietrich Paulus, 'A finite state approach to
German verb morphology,' COLING-88, pp. 212-215, 1988.

Gold, E. Mark, 'Language identification in the limit,'
Information and Control, vol. 10, pp. 447-474, 1967.

Gray, Peter, Logic, Algebra and Databases, Ellis Horwood,
Chichester, 1984.

Grishman, Ralph, Computational Linguistics: An Introduction,
Cambridge University Press, Cambridge, 1986.

Groenendijk, Jeroen A.G. and Martin B.J. Stokhof, Studies on the
semantics of questions and the pragmatics of answers,
University of Amsterdam, Amsterdam, 1984.

Grosz, Barbara J., 'The representation and use of focus in
dialogue understanding,' PhD dissertation, University of
California at Berkeley, 1977.

Grosz, Barbara J., Douglas E. Appelt, Paul A. Martin, and
Fernando C.N. Pereira, 'TEAM: An experiment in the design of
transportable natural-language interfaces,' Artificial
Intelligence, vol. 32, no. 2, pp. 173-243, 1987.

Grosz, Barbara J. and Candace L. Sidner, 'Attentions, intentions,
and the structure of discourse,' Computational Linguistics,
vol. 12, no. 3, pp. 175-204, 1986.

Grosz, Barbara J., Karen Sparck-Jones, and Bonnie Lynn Webber,
eds., Readings in Natural Language Processing, Morgan
Kaufmann, Los Altos, 1986.

Gunji, Takao, Japanese Phrase Structure Grammar, Reidel,
Dordrecht, 1987.

Haas, Andrew, 'Parallel parsing for unification grammars,'
IJCAI-87, vol. 2, pp. 615-618, 1987.

Haddock, Nicholas J., 'Incremental interpretation and combinatory
categorial grammar,' IJCAI-87, vol. 2, pp. 661-663, 1987.

Haddock, Nicholas, Ewan Klein, and Glyn Morrill, eds, Categorial
Grammar, Unification Grammar and Parsing, Centre for
Cognitive Science, Edinburgh, 1987.

Hankamer, Jorge, 'Finite state morphology and left to right
phonology,' in Proceedings of the First West Coast
Conference on Formal Linguistics, ed. Mary Dalrymple,
Jeffrey Goldberg, Kristin Hanson, Michael Inman, Chris
Pinon, and Stephen Wechsler, pp. 29-34, Stanford Linguistics
Association, Stanford, 1986.

Harel, David, 'Statecharts: a visual formalism for complex
systems,' Science of Computer Programming, vol. 8, pp. 231-
274, 1987.

Hawkins, John A., Definiteness and Indefiniteness, Croom
Helm/Humanities Press, London/Atlantic Highlands, N.J.,
1978.

Heidorn, George E., 'Experience with an easily computed metric
for ranking alternative parses,' ACL Proceedings, 20th
Annual Meeting, pp. 82-84, 1982.

Hellwig, Peter, 'Dependency unification grammar,' COLING-86, pp.
195-198, 1986.

Hendrix, Gary G., 'Expanding the utility of semantic networks
through partitioning,' IJCAI-75, pp. 115-121, 1975.

Heny, Frank, Ambiguities in Intensional Contexts, Reidel,
Dordrecht, 1981.

Hess, Michael, 'Descriptional anaphora in discourse
representation theory,' ACL Proceedings, Third European
Conference, pp. 148-155, 1987.

Hinrichs, Erhard W., 'A compositional semantics for directional
modifiers - locative case reopened,' COLING-86, pp. 347-349,
1986.

Hinrichs, Erhard W., 'A compositional semantics of temporal
expressions in English,' ACL Proceedings, 25th Annual
Meeting, pp. 8-15, 1987.

Hirst, Graeme, 'A foundation for semantic interpretation,' ACL
Proceedings, 21st Annual Meeting, pp. 64-73, 1983.

Hirst, Graeme, Semantic Interpretation and the Resolution of
Ambiguity, Cambridge University Press, Cambridge, 1986.

Hobbs, Jerry R., 'An improper treatment of quantification in
ordinary English,' ACL Proceedings, 21st Annual Meeting, pp.
57-63, 1983.

Hobbs, Jerry and Stanley Rosenschein, 'Making computational sense
of Montague's intensional logic,' Artificial Intelligence,
vol. 9, pp. 287-306, 1978.

Hobbs, Jerry R. and Stuart M. Shieber, 'An algorithm for
generating quantifier scopings,' Computational Linguistics,
vol. 13, no. 1-2, pp. 47-63, 1987.

Hofstadter, Douglas R., G'odel, Escher, Bach: An Eternal Golden
Braid, Basic Books, New York, 1979.

Hopcroft, John and Jeffrey Ullman, Introduction to automata
theory, languages, and computation, Addison-Wesley, Reading,
Massachusetts, 1979.

Horrocks, Geoffrey, Generative Grammar, Longman, London, 1987.

Horton, Diane L. and Graeme Hirst, 'Presuppositions as beliefs,'
COLING-88, pp. 255-260, 1988.

Houghton, George, A Computational Model of Discourse Production,
Ablex, Norwood, New Jersey, 1989.

Hurum, Sven O., 'Handling scope ambiguities in English,' ACL
Proceedings, Second Conference on Applied Natural Language
Processing, pp. 58-65, 1988.

Hurum, Sven O. and Lenhart K. Schubert, 'Two types of quantifier
scoping,' Proceedings of the 6th Canadian Conference on
Artificial Intelligence, pp. 39-43, 1986.

Hutchins, W. John, Machine Translation: Past, Present, Future,
Ellis Horwood/Wiley, Chichester/New York, 1986.

Huybregts, Riny, 'The weak inadequacy of context-free phrase
structure grammar,' in Van Periferie naar Kern, ed. Gier de
Haan, Mieke Trommelen and Wim Zonneveld, pp. 81-99, Foris,
Dordrecht, 1985.

Isoda, Michio, Hideo Aiso, Noriyuki Kamibayashi, and Yoshifumi
Matsunaga, 'Model for lexical knowledge base,' COLING-86,
pp. 451-453, 1986.

Israel, David J., 'A prolegomenon to situation semantics,' ACL
Proceedings, 21st Annual Meeting, pp. 28-37, 1983.

Jacobs, Paul and Uri Zernik, 'Acquiring lexical knowledge from
text: a case study,' AAAI-88, pp. 00-00, 1988.

Johnson, C. Douglas, Formal Aspects of Phonological Description,
Mouton, The Hague, 1972.

Johnson, Rod L., 'Parsing with transition networks,' in Parsing
Natural Language, ed. Margaret King, pp. 59-72, Academic
Press, London, 1983.

Johnson, Tim, Natural Language Computing: the Commercial
Implications, Ovum, London, 1985.

Johnson, Mark, <CSLI book -- add details in proof>, University of
Chicago Press, Chicago, 1988.

Johnson, Mark and Ewan Klein, 'Discourse, anaphora and parsing,'
COLING-86, pp. 669-675, 1986.

Johnson-Laird, Philip N., Mental Models, Cambridge University
Press, Cambridge, 1983.

Joshi, Aravind K., Bonnie Lynn Webber, and Ivan A. Sag, eds.,
Elements of Discourse Understanding, Cambridge University
Press, Cambridge, 1981.

Joshi, Aravind K., 'Phrase structure grammar,' in Encyclopaedia
of Artificial Intelligence, ed. Stuart C. Shapiro, pp. 344-
351, Wiley, New York, 1987.                     

Kamp, Hans, 'A theory of truth and semantic representation,' in
Formal Methods in the Study of Language, ed. J.A.G.
Groenendijk, T.M.V. Janssen and M.B.J. Stokhof, Mathematical
Centre Tracts 135, p. 277 322, Amsterdam, 1981.

Kaplan, Ronald M., 'Augmented transition networks as
psychological models of sentence comprehension,' Artificial
Intelligence, vol. 3, pp. 77-100, 1972.

Kaplan, Ronald M., 'A general syntactic processor,' in Natural
Language Processing, ed. Randall Rustin, pp. 193-241,
Algorithmics Press, New York, 1973.

Kaplan, S. Jerrold, 'Cooperative responses from a portable
natural language database query system,' in Computational
Models of Discourse, ed. Michael Brady and Robert C.
Berwick, pp. 167-208, MIT Press, Cambridge, Ma., 1983.

Kaplan, Ronald M. and Joan Bresnan, 'Lexical functional grammar:
A formal system for grammatical representation,' in The
Mental Representation of Grammatical Relations, ed. Joan
Bresnan, pp. 173-281, MIT Press, Cambridge MA, 1982.

Karttunen, Lauri, 'KIMMO:  a general morphological processor,'
Texas Linguistic Forum, vol. 22, pp. 165-186, 1983.

Karttunen, Lauri, 'Features and values,' COLING-84, pp. 28-33,
1984.

Karttunen, Lauri, 'D-PATR: a development environment for
unification-based grammars,' COLING-86, pp. 74-80, 1986.

Karttunen, Lauri and Martin Kay, 'Structure sharing with binary
trees,' ACL Proceedings, 23rd Annual Meeting, pp. 133-136,
1985.

Karttunen, Lauri and Kent Wittenburg, 'A two-level morphological
analysis of English,' Texas Linguistic Forum, vol. 22, pp.
217-228, 1983.

Kasper, Robert, 'A unification method for disjunctive feature
descriptions,' ACL Proceedings, 25th Annual Meeting, pp.
235-242, 1987.

Kasper, Robert and William Rounds, 'A logical semantics for
feature structures,' ACL Proceedings, 24th Annual Meeting,
pp. 257-266, 1986.

Kataja, Laura and Kimmo Koskenniemi, 'Finite-state description of
Semitic morphology: a case study of ancient Accadian,'
COLING-88, pp. 313-315, 1988.

Katz, Jerrold J. and Jerry A. Fodor, 'The structure of a semantic
theory,' Language, vol. 39, pp. 170-210, 1963.

Kay, Martin, 'The MIND system,' in Natural Language Processing,
ed. Randall Rustin, pp. 155-188, Algorithmics Press, New
York, 1973.

Kay, Martin, 'Functional grammar,' in Proceedings of the Fifth
Annual Meeting of the Berkeley Linguistics Society, ed.
Christina Chiarello et al., pp. 142-158, 1979.

Kay, Martin, 'When meta-rules are not meta-rules,' in Automatic
Natural Language Parsing, ed. Karen Sparck-Jones and Yorick
A. Wilks, pp. 94-116, Ellis Horwood/Wiley, Chichester/New
York, 1983.

Kay, Martin, 'Computational linguistics = generalized unification
+ applied graph theory,' Proceedings of the Fifth Biennial
Conference of the Canadian Society for Computational Studies
of Intelligence, pp. 1-5, 1984.

Kay, Martin, 'Parsing in functional unification grammar,' in
Natural Language Parsing, ed. David R. Dowty, Lauri
Karttunen and Arnold M. Zwicky, pp. 251-278, Cambridge
University Press, Cambridge, 1985a.

Kay, Martin, 'Unification in grammar,' in Natural Language
Understanding and Logic Programming, ed. Veronica Dahl and
Patrick Saint-Dizier, pp. 233-240, North-Holland, Amsterdam,
1985b.

Kay, Martin, 'Algorithm schemata and data structures in syntactic
processing,' in Readings in Natural Language Processing, ed.
Barbara J. Grosz, Karen Sparck-Jones and Bonnie Lynn Webber,
pp. 35-70, Morgan Kaufmann, Los Altos, 1986 (1980).

Kay, Martin, 'Nonconcatenative finite-state morphology,' ACL
Proceedings, Third European Conference, pp. 2-10, 1987.

Keller, William R., 'Nested Cooper storage: the proper treatment
of quantification in ordinary noun phrases,' in Natural
Language Parsing and Linguistic Theories, ed. U. Reyle and
C. Rohrer, pp. 432-447, D. Reidel, Dordrecht, 1988.

Khan, Robert, 'A two-level morphological analysis of Rumanian,'
Texas Linguistic Forum, vol. 22, pp. 253-270, 1983.

Khan, Robert, Jocelyn S. Liu, Tatsuo Ito, and Kelly Shuldberg,
'KIMMO user's manual,' Texas Linguistic Forum, vol. 22, pp.
203-215, 1983.

Kilbury, James, 'Chart parsing and the Earley algorithm,' in
Kontextfreie Syntaxen und verwandte Systeme, ed. Ursula
Klenk, Max Niemeyer, Tu'bingen, 1985.

Kimball, John P., 'Seven principles of surface structure parsing
in natural language,' Cognition, vol. 2, no. 1, pp. 15-47,
1973.

Klein, Ewan and Johan van Benthem, eds, Categories, Polymorphism
and Unification, CCS/ILLI, Edinburgh/Amsterdam, 1987.

Koskenniemi, Kimmo, Two-level Morphology: a general computational
model for word-form recognition and production, University
of Helsinki, Helsinki, 1983a.

Koskenniemi, Kimmo, 'Two-level model for morphological analysis,'
IJCAI-83, pp. 683-685, 1983b.

Koskenniemi, Kimmo, 'A general computational model for word-form
recognition and production,' COLING-84, pp. 178-181, 1984.

Koskenniemi, Kimmo and Kenneth W. Church, 'Complexity, two-level
morphology and Finnish,' COLING-88, pp. 335-340, 1988.

Langendoen, D. Terence, 'The generative capacity of word-
formation components,' Linguistic Inquiry, vol. 12, pp.
320-322, 1981.

Langendoen, D. Terence and Yedidyah Langsam, 'The representation
of constituent structures for finite-state parsing,'
COLING-84, pp. 24-27, 1984.

Laventhol, Jonathan, Programming in POP-11, Blackwell Scientific,
Oxford, 1987.

Leech, Geoffrey N., Principles of Pragmatics, Longmans, London
and New York, 1983.

Lespe'rance, Yves, 'Toward a computational interpretation of
situation semantics,' Computational Intelligence, vol. 2,
no. 1, pp. 9-27, 1986.

Levinson, Stephen C., 'The essential inadequacies of speech act
models of dialogue,' in Possibilities and limitations of
pragmatics, ed. H. Parret, M. Sbisa, and J. Verschueren, pp.
473-492, John Benjamins, Amsterdam, 1981.

Levinson, Stephen C., Pragmatics, Cambridge University Press,
Camridge, 1983.

Lewis II, Philip M. and Richard E. Stearns, 'Syntax-directed
transduction,' Journal of the ACM, vol. 15, no. 3, pp. 465-
488, 1968.

Lindstedt, Jouko, 'A two-level description of Old Church Slavonic
morphology,' Scando-Slavica, vol. 30, pp. 165-189, 1984.

Lun, S., 'A two-level morphological analysis of French,' Texas
Linguistic Forum, vol. 22, pp. 271-278, 1983.

Lynch, William C. and H.L. Pierson, 'A finite state transducer
model for compiler lexical scanners,' Proceedings of the
IFIP Congress (Information Processing 68), pp. 448-455,
Edinburgh, Scotland, August 1968.

Lyons, John, Semantics 1 & 2, Cambridge University Press, London
and New York, 1977.

Maier, David, The Theory of Relational Databases, Computer
Science Press, Rockville, MD, 1983.

Main, Michael G. and David B. Benson, 'Denotational semantics for
'natural' language question-answering programs,' American
Journal of Computational Linguistics, vol. 9, no. 1, pp.
11-21, 1983.

Marcus, Mitchell P., A Theory of Syntactic Recognition for
Natural Language, MIT Press, Cambridge, Ma., 1980.

Martin, William A., Kenneth W. Church, and Ramesh S. Patil,
'Preliminary analysis of a breadth-first parsing algorithm:
theoretical and experimental results,' in Natural Language
Parsing Systems, ed. Leonard Bolc, pp. 267-328, Springer,
Berlin, 1987.

McCawley, James D., 'The role of semantics in grammar,' in
Universals in Linguistic Theory, ed. Emmon Bach and Robert
Harms, pp. 125-169, Holt, Rinehart and Winston, New York,
1968.

McCawley, James D., 'Semantic representation,' in Cognition: A
Multiple View, ed. Paul M. Garvin, pp. 227-247, Spartan
Books, New York, 1970.

McDermott, Drew, 'Tarskian semantics, or no notation without
denotation,' in Readings in Natural Language Processing, ed.
Barbara J. Grosz, Karen Sparck-Jones and Bonnie Lynn Webber,
pp. 167-169, Morgan Kaufmann, Los Altos, 1986 (1978).

McKeown, Kathleen R., Text Generation: Using Discourse Strategies
and Focus Constraints to Generate Natural Language Text,
Cambridge University Press, Cambridge, 1985.

Mellish, Christopher S., 'Incremental semantic interpretation in
a modular parsing system,' in Automatic Natural Language
Parsing, ed. Karen Sparck-Jones and Yorick A. Wilks, pp.
148-155, Ellis Horwood/Wiley, Chichester/New York, 1983.

Mellish, Christopher S., Computer Interpretation of Natural
Language Descriptions, Ellis Horwood/Wiley, Chichester/New
York, 1985.

Mellish, Christopher S., 'Implementing systemic classification by
unification,' Computational Linguistics, vol. 14, no. 1, pp.
40-51, 1988.

Brown, P, J Cocke, S Della Pietra, F Jeli'nek, R Mercer, and P
Roossin, 'A statistical approach in language translation,'
COLING-88, pp. 71-76, 1988.

Mercer, Robert E., 'Solving some persistent presupposition
problems,' COLING-88, pp. 420-425, 1988.

Mercer, Robert E. and Raymond Reiter, 'The representations of
presuppositions using defaults,' Proceedings of the Fourth
Biennial Conference of the Canadian Society for
Computational Studies of Intelligence, pp. 103-107, 1982.

Mercer, Robert E. and Richard S. Rosenberg, 'Generating
corrective answers by computing presuppositions of answers,
not of questions, or mind yur P's, not Q's,' Proceedings of
the Fifth Biennial Conference of the Canadian Society for
Computational Studies of Intelligence, pp. 16-19, 1984.

Meya, Montserrat, 'Morphological analysis of Spanish for
retrieval,' Literary & Linguistic Computing, vol. 2, no. 3,
pp. 166-170, 1987.

Milne, Robert W., 'Predicting garden path sentences,' Cognitive
Science, vol. 6, pp. 349-373, 1982.

Minker, Jack, Deductive Databases and Logic Programming, Morgan
Kaufmann, Los Altos, 1988.

Minsky, Marvin, 'A framework for representing knowledge,' in Mind
Design, ed. John Haugeland, pp. 95-128, MIT Press,
Cambridge, Ma, 1981.

Mitton, Roger, 'A partial dictionary of English in computer-
usable form,' Literary & Linguistic Computing, vol. 1, no.
4, pp. 214-215, 1986.

Montague, Richard, in Formal Philosophy, Yale University Press,
New Haven, 1974.

Moran, Douglas B., 'The representation of inconsistent
information in a dynamic model-theoretic semantics,' ACL
Proceedings, 20th Annual Meeting, pp. 16-18, 1982.

Moran, Douglas B., 'Quantifier scoping in the SRI core language
engine,' ACL Proceedings, 26th Annual Meeting, pp. 00-00,
1988.

Moshier, M. Drew and William C. Rounds, 'A logic for partially
specified data structures,' Conference Record of the
Fourteenth ACM Symposium on Principles of Programming
Languages, pp. 156-167, Munich, West Germany, 1987.

Mukai, Kuniaki and Hideki Yasukawa, 'Complex indeterminates in
PROLOG and its application to discourse models,' New
Generation Computing, vol. 3, pp. 441-466, 1985.

Nakashima, Hideyuki, Hiroyuki Suzuki, Per-Kristian Halvorsen, and
P. Stanley Peters, 'Towards a computational interpretation
of situation theory,' Future Generations Computer Systems,
vol. 3, pp. 00-00, 1988.


Nakazawa, Tsuneko, Laura Neher, and Erhard W. Hinrichs,
'Unification with disjunctive and negative values for GPSG
grammars,' ECAI-88, pp. 467-472, 1988.

Neff, Mary S., Roy J. Byrd, and Omneya A. Rizk, 'Creating and
querying hierarchical lexical data bases,' ACL Proceedings,
Second Conference on Applied Natural Language Processing,
pp. 84-92, 1988.

Neuhaus, H. Joachim, 'Lexical database design: the Shakespeare
dictionary model,' COLING-86, pp. 441-444, 1986.

Nilsson, Nils J., Problem Solving Methods in Artificial
Intelligence, Tioga, Palo Alto, 1980.

Noble, Hugh M., Natural Language Processing, Blackwell, Oxford,
1988.

Nozohoor-Farshi, R., 'Context-freeness of the language accepted
by Marcus' Parser,' ACL Proceedings, 25th Annual Meeting,
pp. 117-122, 1987.

Nutter, Jane T., 'Default reasoning,' in Encyclopaedia of
Artificial Intelligence, ed. Stuart C. Shapiro, pp. 840-848,
Wiley, New York, 1987.

Pareschi, Remo and Mark J. Steedman, 'A lazy way to chart-parse
with categorial grammars,' ACL Proceedings, 25th Annual
Meeting, pp. 81-88, 1987.

Partee, Barbara H., 'Opacity, coreference, and pronouns,'
Synthese, vol. 21, pp. 359-385, 1970.

Partee, Barbara H., 'Compositionality,' in Varieties of Formal
Syntax, Proceedings of the 4th Amsterdam Colloquium,
September 1982, ed. Fred Landman and Frank Veltman, pp.
281-311, Foris, Dordrecht, 1984.

Pearl, Judea, Heuristics: Intelligent Search Strategies for
Computer Problem Solving, Addison Wesley, Reading, Ma.,
1984.

Pelletier, Francis J. and Lenhart K. Schubert, 'Two theories for
computing the logical form of mass expressions,' COLING-84,
pp. 108-111, 1984.

Pereira, Fernando C.N., Gerald Gazdar, Stephen C. Pulman, Aravind
K. Joshi, and Martin Kay, 'Unification and the new
grammatism (panel),' TINLAP-3 clbook, pp. 32-55, 1987.

Pereira, Fernando C.N., 'A structure-sharing representation for
unification-based grammar formalisms,' ACL Proceedings, 23rd
Annual Meeting, pp. 137-144, 1985.

Pereira, Fernando C.N. and Stuart M. Shieber, 'The semantics of
grammar formalisms seen as computer languages,' COLING-84,
pp. 123-129, 1984.

Pereira, Fernando C.N. and David H.D. Warren, 'Definite clause
grammars for language analysis - a survey of the formalism
and a comparison with augmented transition networks,'
Artificial Intelligence, vol. 13, no. 3, pp. 231-278, 1980.
Reprinted in Readings in Natural
Language Processing, ed. Barbara J. Grosz, Karen Sparck-
Jones and Bonnie Lynn Webber, pp. 101-124, Morgan Kaufmann,
Los Altos, 1986 (1980).

Perlis, Donald, 'Nonmonotonic reasoning,' in Encyclopaedia of
Artificial Intelligence, ed. Stuart C. Shapiro, pp. 849-853,
Wiley, New York, 1987.

Perrault, C. Raymond, 'On the mathematical properties of
linguistic theories,' Computational Linguistics, vol. 10,
no. 3-4, pp. 165-176, 1984.

Perrott, D.V., Swahili, Hodder & Stoughton, Sevenoaks, 1951.

Petrick, Stanley R., 'Parsing,' in Encyclopaedia of Artificial
Intelligence, ed. Stuart C. Shapiro, pp. 687-696, Wiley, New
York, 1987.

Pinkal, Manfred, 'Definite noun phrases and the semantics of
discourse,' COLING-86, pp. 368-373, 1986.

Pinkal, Manfred, 'Definite noun phrases and the semantics of
discourse,' COLING-86, pp. 368-373, 1986.

Pollard, Carl and Ivan A. Sag, An Information-Based Approach to
Syntax and Semantics: Volume 1 Fundamentals, CSLI Lecture
Notes No. 13, Chicago University Press, Chicago, 1988.

Power, Richard, 'The organisation of purposeful dialogues,'
Linguistics, vol. 17, no. 1/2, pp. 107-152, 1979.

Power, Richard and H. Christopher Longuet-Higgins, 'Learning to
count: a computational model of language acquisition,'
Proceedings of the Royal Society, Series B, vol. 200, pp.
391-417, 1978.

Pullum, Geoffrey K., 'Context-freeness and the computer
processing of human languages,' ACL Proceedings, 21st Annual
Meeting, pp. 1-6, 1983.

Pullum, Geoffrey K., 'On two recent attempts to show that English
is not a CFL,' Computational Linguistics, vol. 10, no. 3-4,
pp. 182-186, 1984a.

Pullum, Geoffrey K., 'Syntactic and semantic parsability,'
COLING-84, pp. 112-122, 1984b.

Pullum, Geoffrey K., 'Natural language interfaces and strategic
computing,' AI & Society, vol. 1, no. 1, pp. 47-58, 1987.

Pullum, Geoffrey K. and Gerald Gazdar, 'Natural languages and
context-free languages,' Linguistics & Philosophy, vol. 4,
pp. 471-504, 1982.

Pulman, Stephen G., 'Generalized phrase structure grammar,
Earley's algorithm, and the minimisation of recursion,' in
Automatic Natural Language Parsing, ed. Karen Sparck-Jones
and Yorick A. Wilks, pp. 117-131, Ellis Horwood/Wiley,
Chichester/New York, 1983.

Pulman, Stephen G., 'Grammars, parsers, and memory limitations,'
Language and Cognitive Processes, vol. 1, pp. 197-225, 1986.

Ramsay, Allan, 'Effective parsing with generalized phrase
structure grammar,' ACL Proceedings, Second European
Conference, pp. 57-61, 1985.

Ramsay, Allan, 'Knowing that and knowing what,' in Advances in
Artificial Intelligence (Proceedings of AISB-87), ed.
Christopher S. Mellish and John Hallam, pp. 279-290, Wiley,
Chichester, 1987.

Ramsay, Allan, Formal Methods in Artificial Intelligence,
Cambridge University Press, Cambridge, 1988.

Ramsay, Allan and Rosalind Barrett, AI in Practice, Ellis
Horwood, Chichester, 1987.

Raphael, Bertram, The Thinking Computer: Mind Inside Matter, W.H.
Freeman, San Francisco, 1976.

Reape, Mike and Henry S. Thompson, 'Parallel intersection and
serial composition of finite state transducers,' COLING-88,
pp. 535-539, 1988.

Reyle, Uwe, 'Grammatical functions, discourse, referents, and
quantification,' IJCAI-85, vol. 2, pp. 829-831, 1985.

Rich, Elaine, Artificial Intelligence, McGraw-Hill, New York, New
York, 1983.

Riesbeck, Christopher K., 'From conceptual analyzer to direct
memory access parsing: An overview,' in Advances in
Cognitive Science 1, ed. Noel E. Sharkey, pp. 236-258, Ellis
Horwood/Wiley, Chichester/New York, 1986.

Ritchie, Graeme D., 'The implementation of a PIDGIN interpreter,'
in Automatic Natural Language Parsing, ed. Karen Sparck-
Jones and Yorick A. Wilks, pp. 69-80, Ellis Horwood/Wiley,
Chichester/New York, 1983a.

Ritchie, Graeme D., 'Semantics in parsing,' in Parsing Natural
Language, ed. Margaret King, pp. 199-217, Academic Press,
London, 1983b.

Ritchie, Graeme D., 'Simulating a Turing machine using functional
unification grammar,' ECAI-84, pp. 127-136, 1984.

Ritchie, Graeme D., 'Simulating a Turing machine using functional
unification grammar,' in Advances in Artificial
Intelligence, ed. Tim O'Shea, pp. 285-294, North-Holland,
Amsterdam, 1985.

Ritchie, Graeme D., 'The computational complexity of sentence
derivation in functional unification grammar,' COLING-86,
pp. 584-586, 1986.

Ritchie, Graeme D., 'The lexicon,' in Linguistic Theory and
Computer Applications, ed. Peter Whitelock, Mary McGee Wood,
Harold L. Somers, Rod L. Johnson and Paul Bennett, pp. 225-
256, Academic Press, London, 1987.

Ritchie, Graeme D. and Henry S. Thompson, 'Natural language
processing,' in Artificial Intelligence: Tools, Techniques,
and Applications, ed. Tim O'Shea and Marc Eisenstadt, pp.
358-388, Harper & Row, New York, 1984.

Robinson, J.A., 'A machine-oriented logic based on the resolution
principle,' Journal of the ACM, vol. 12, no. 1, pp. 23-41,
January 1965.

Rosenschein, Stanley J. and Stuart M. Shieber, 'Translating
English into logical form,' ACL Proceedings, 20th Annual
Meeting, pp. 1-8, 1982.

Kasper, Robert and William Rounds, 'A logical semantics for
feature structures,' ACL Proceedings, 24th Annual Meeting,
pp. 257-266, 1986.

Russell, Graham J., Stephen G. Pulman, Graeme D. Ritchie, and
A.W. Black, 'A dictionary and morphological analyser for
English,' COLING-86, pp. 277-279, 1986.

Hein, A. Saoagvall, 'Parsing by means of Uppsala Chart Processor
(UCP),' in Natural Language Parsing Systems, ed. Leonard
Bolc, pp. 203-266, Springer, Berlin, 1987.

Saint-Dizier, Patrick, 'Handling quantifier scoping ambiguities
in a semantic representation of natural language sentences,'
in Natural Language Understanding and Logic Programming, ed.
Veronica Dahl and Patrick Saint-Dizier, pp. 49-63, North-
Holland, Amsterdam, 1985.

Sampson, Geoffrey, 'Context-free parsing and the adequacy of
context-free grammars,' in Parsing Natural Language, ed.
Margaret King, pp. 151-170, Academic Press, London, 1983a.

Sampson, Geoffrey, 'Deterministic parsing,' in Parsing Natural
Language, ed. Margaret King, pp. 91-116, Academic Press,
London, 1983b.

Sanamrad, Mohammad Ali, Koichi Wada, and Haruya Matsumoto, 'A
hardware syntactic analysis processor,' IEEE Micro, vol. 7,
no. 4, pp. 73-80, August 1987.

Sandt, Rob A. van der, Context and Presupposition, Croom Helm,
London, 1988.

Scha, Remko J.H., Bertram C. Bruce, and Livia Polanyi, 'Discourse
understanding,' in Encyclopaedia of Artificial Intelligence,
ed. Stuart C. Shapiro, pp. 233-245, Wiley, New York, 1987.

Schank, Roger, 'Conceptual dependency: a theory of natural
language understanding,' Cognitive Psychology, vol. 3, pp.
552-631, 1972.

Schank, Roger and Robert Abelson, Scripts, Plans, Goals and
Understanding, Lawrence Erlbaum and Associates, Hillsdale,
New Jersey, 1977.

Schank, Roger C. and Charles J. Rieger, III, 'Inference and the
computer understanding of natural language,' Artificial
Intelligence, vol. 5, pp. 373-412, 1974.

Schank, Roger C. and Christopher K. Riesbeck, eds., Inside
Computer Understanding: Five Programs plus Miniatures,
Erlbaum, Hillsdale, 1981.

Schubert, Lenhart K., 'Are there preference trade-offs in
attachment decisions ?,' AAAI-86, vol. 1, pp. 601-605, 1986.

Schubert, Lenhart K. and Francis J. Pelletier, 'From English to
logic: context-free computation of 'conventional' logical
translation,' American Journal of Computational Linguistics,
vol. 8, no. 1, pp. 27-44, 1982.
Reprinted in Readings in Natural Language Processing,
ed. Barbara J. Grosz, Karen Sparck-Jones and Bonnie Lynn
Webber, pp. 293-311, Morgan Kaufmann, Los Altos, 1986
(1982).

Schwartz, Steven C., Applied Natural Language Processing,
Petrocelli, Princeton, N.J., 1987.

Sedgewick, Robert, Algorithms, Addison Wesley, Reading, Ma, 1983.

Sells, Peter, Lectures on Contemporary Syntactic Theories, CSLI
Lecture Notes No. 3, Chicago University Press, Chicago,
1985.

Shapiro, Stuart C., Encyclopaedia of Artificial Intelligence,
Wiley, New York, 1987.

Sheil, Beau A., 'Observations on context free parsing,'
Statistical Methods in Linguistics, pp. 71-109, 1976.

Shieber, Stuart M., 'Sentence disambiguation by a shift-reduce
parsing technique,' IJCAI-83, pp. 699-703, 1983.

Shieber, Stuart M., 'Criteria for designing computer facilities
for linguistic analysis,' Linguistics, vol. 23, no. 2, pp.
189-211, 1985a.

Shieber, Stuart M., 'Evidence against the non-context-freeness of
natural language,' Linguistics and Philosophy, vol. 8, no.
3, pp. 333-343, 1985b.

Shieber, Stuart M., 'Using restriction to extend parsing
algorithms for complex-feature-based formalisms,' ACL
Proceedings, 23rd Annual Meeting, pp. 145-152, 1985c.

Shieber, Stuart M., An Introduction to Unification-Based
Approaches to Grammar, University of Chicago Press, Chicago,
1986a.

Shieber, Stuart M., 'A simple reconstruction of GPSG,' COLING-86,
pp. 211-215, 1986b.

Shieber, Stuart M., 'Separating linguistic analyses from
linguistic theories,' in Linguistic Theory & Computer
Applications, ed. Peter Whitelock, Mary McGee Wood, Harold
L. Somers, Rod L. Johnson and Paul Bennett, pp. 1-36,
Academic Press, London, 1987.

Shieber, Stuart M., 'A uniform architecture for parsing and
generation,' COLING-88, pp. 614-619, 1988.

Slack, Jon M., 'Distributed memory: a basis for chart parsing,'
COLING-86, pp. 476-481, 1986.

Slocum, Jonathan, 'A survey of machine translation: its history,
current status, and future prospects,' Computational
Linguistics, vol. 11, no. 1, pp. 1-17, 1985.

Smith, Brian C., 'Linguistic and computational semantics,' ACL
Proceedings, 20th Annual Meeting, pp. 9-15, 1982.

Sparck-Jones, Karen, 'So what about parsing compound nouns?,' in
Automatic Natural Language Parsing, ed. Karen Sparck-Jones
and Yorick A. Wilks, pp. 164-168, Ellis Horwood/Wiley,
Chichester/New York, 1983.

Sparck-Jones, Karen and Yorick A. Wilks, eds., Automatic Natural
Language Parsing, Ellis Horwood/Wiley, Chichester/New York,
1983.

Steel, Sam and Anne N. De Roeck, 'Bidirectional chart parsing,'
in Advances in Artificial Intelligence (Proceedings of
AISB-87), ed. Christopher S. Mellish and John Hallam, pp.
223-235, Wiley, Chichester, 1987.

Sugimura, Ryoichi, 'Japanese honorifics and situation semantics,'
COLING-86, pp. 507-510, 1986.

Tait, John I., 'Semantic parsing and syntactic constraints (mark
IV),' in Automatic Natural Language Parsing, ed. Karen
Sparck-Jones and Yorick A. Wilks, pp. 169-177, Ellis
Horwood/Wiley, Chichester/New York, 1983.

Tennant, Harry R., Natural Language Processing, Petrocelli, New
York, 1981.

Thomason, Richmond H., 'A semantic theory of sortal
incorrectness,' Journal of Philosophical Logic, vol. 1, pp.
209-258, 1972.

Thompson, Henry S., 'Chart parsing and rule schemata in PSG,' ACL
Proceedings, 19th Annual Meeting, pp. 167-172, 1981.

Thompson, Henry S., 'MCHART: a flexible, modular chart parsing
system,' AAAI-83, pp. 408-410, 1983.

Thompson, Henry S., 'Speech transcription: an incremental,
interactive approach,' in Advances in Artificial
Intelligence, ed. Tim O'Shea, pp. 267-274, North-Holland,
Amsterdam, 1985.

Thompson, Henry S. and Graeme D. Ritchie, 'Implementing natural
language parsers,' in Artificial Intelligence: Tools,
Techniques, and Applications, ed. Tim O'Shea and Marc
Eisenstadt, pp. 245-300, Harper & Row, New York, 1984.

Thorne, James, P. Bratley, and Hamish Dewar, 'The syntactic
analysis of English by machine,' in Machine Intelligence 3,
ed. Donald Michie, Elsevier, New York, 1968.

Tomita, Masaru, 'LR parsers for natural languages,' COLING-84,
pp. 354-357, 1984.

Tomita, Masaru, Efficient Parsing for Natural Language: A Fast
Algorithm for Practical Systems, Kluwer, Boston, 1986.

Touretsky, David S., The Mathematics of Inheritance Systems,
Pitman/Morgan Kaufmann, London/Los Altos, 1986.

Touretsky, David S., 'Inheritance hierarchy,' in Encyclopaedia of
Artificial Intelligence, ed. Stuart C. Shapiro, pp. 422-431,
Wiley, New York, 1987.

Trost, Harald and Ernst Buchberger, 'Towards the automatic
acquisition of lexical data,' COLING-86, pp. 387-389, 1986.

Ullman, Jeffry D., Principles of Database Systems, Computer
Science Press, Rockville, MD, 1982.

Uszkoreit, Hans, 'Categorial unification grammar,' COLING-86, pp.
187-194, 1986.

Wada, Hajime and Nicholas Asher, 'BUILDRS: an implementation of
DR theory and LFG,' COLING-86, pp. 540-545, 1986.

Warren, David S. and Joyce Friedman, 'Using semantics in non-
context-free parsing of Montague grammar,' American Journal
of Computational Linguistics, vol. 8, no. 3-4, pp. 123-138,
1982.

Warren, David H.D. and Fernando C.N. Pereira, 'An efficient
easily adaptable system for interpreting natural language
queries,' American Journal of Computational Linguistics,
vol. 8, no. 3-4, pp. 110-122, 1982.

Webber, Bonnie Lynn, 'Question answering,' in Encyclopaedia of
Artificial Intelligence, ed. Stuart C. Shapiro, pp. 814-822,
Wiley, New York, 1987.

Wehrli, Eric, 'Design and implementation of a lexical data base,'
ACL Proceedings, Second European Conference, pp. 146-153,
1985.

Weizenbaum, Joseph, 'ELIZA - a computer program for the study of
natural language communication between man and machine,'
Communications of the ACM, vol. 9, no. 1, pp. 36-45, 1966.

Whorf, Benjamin L., 'Linguistics as an exact science,' Technology
Review, vol. 43, pp. 61-63, 80-83, 1940.

Wilensky, Robert, Planning and understanding, Addison Wesley, New
York, 1983.

Wilks, Yorick, 'A preferential, pattern-seeking, semantics for
natural language inference,' Artificial Intelligence, vol.
6, pp. 53-74, 1975.

Wilks, Yorick, 'Good and bad arguments about semantic
primitives,' Communication & Cognition, vol. 8, pp. 201-219,
1977.

Wilks, Yorick, 'Right attachment and preference semantics,' ACL
Proceedings, Second European Conference, pp. 89-92, 1985.

Wilks, Yorick, 'Primitives,' in Encyclopaedia of Artificial
Intelligence, ed. Stuart C. Shapiro, pp. 759-761, Wiley, New
York, 1987.

Winograd, Terry, Understanding Natural Language, Academic Press,
New York, 1972.

Winograd, Terry, Language as a Cognitive Process: Syntax,
Addison-Wesley., Reading, Ma., 1983.

Winograd, Terry and Fernando Flores, Understanding Computers and
Cognition, Ablex, Norwood, 1986.

Winston, Patrick H., Artificial Intelligence (Second Edition),
Addison Wesley, Reading, Ma, 1984.

Wiren, Mats, 'A comparison of rule-invocation strategies in
context-free chart parsing,' ACL Proceedings, Third European
Conference, pp. 226-235, 1987.

Wittenburg, Kent, 'A parser for portable NL interfaces using
graph-unification-based grammars,' AAAI-86, vol. 2, pp.
1053-1058, 1986.

Wood, Derek, The Theory of Computation, Harper & Row, New York,
1987.

Woods, William A., 'Procedural semantics for a question-answering
machine,' AFIPS Conference Proceedings, vol. 33, pp. 457-
471, 1968.

Woods, William A., 'Transition network grammars for natural
language analysis,' Communications of the ACM, vol. 13, no.
10, pp. 591-596, October 1970.
Reprinted in Readings in Natural Language
Processing, ed. Barbara J. Grosz, Karen Sparck-Jones and
Bonnie Lynn Webber, pp. 71-87, Morgan Kaufmann, Los Altos,
1986 (1970).

Woods, William, 'Progress in natural language understanding: an
application to lunar geology,' AFIPS Conference Proceedings,
vol. 42, pp. 441-450, 1973.

Woods, William A., 'Semantics and quantification in natural
language question answering,' in Readings in Natural
Language Processing, ed. Barbara J. Grosz, Karen Sparck-
Jones and Bonnie Lynn Webber, pp. 205-248, Morgan Kaufmann,
Los Altos, 1986 (1978).

Woods, William A., 'Cascaded ATN grammars,' American Journal of
Computational Linguistics, vol. 6, no. 1, pp. 1-12, 1980.

Woods, William A., 'Procedural semantics as a theory of meaning,'
in Elements of Discourse Understanding, ed. Aravind K.
Joshi, Bonnie Lynn Webber and Ivan Sag, pp. 300-334,
Cambridge University Press, Cambridge, 1981.

Woods, William A., 'Augmented transition network grammar,' in
Encyclopaedia of Artificial Intelligence, ed. Stuart C.
Shapiro, pp. 323-333, Wiley, New York, 1987.

Wos, Larry, Ross A. Overbeek, Ewing L. Lusk, and James Boyle,
Automated Reasoning: Introduction and Applications, Prentice
Hall, Englewood Cliffs, N.J., 1984.

Wroblewski, David, 'Nondestructive graph unification,' AAAI-87,
pp. 582-589, 1987.

Yngve, Victor H., 'A programming language for mechanical
translation,' Mechanical Translation, vol. 5, pp. 25-41,
1958.

Younger, David H., 'Recognition and parsing of context-free
languages in time n3,' Information and Control, vol. 10, pp.
189-208, 1967.

Zeevat, Henk, 'Combining categorial grammar and unification,' in
Natural Language Parsing and Linguistic Theories, ed. U.
Reyle and C. Rohrer, pp. 202-229, D. Reidel, Dordrecht,
1988.