BIBLIOGRAPHY 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. 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., 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, 1987. 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, 1987. 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. 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, 1983. Church, Kenneth W., 'Phrase Structure Parsing: A Method for Taking Advantage of Allophonic Constraints,' MIT PhD Dissertation, Indiana University Linguistics Club, Bloomington, 1983. 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. Dahlgren, Kathleen, Naive Semantics for Natural Language Understanding, Kluwer, Boston, 1988. 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. Evens, Martha W., Relational Models of the Lexicon: Representing Knowledge in Semantic Networks, Cambridge University Press, Cambridge, 1988. 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, 1978. Microfiche 74 Friedman, Joyce, Douglas B. Moran, and David S. Warren, 'Explicit finite intensional Models for PTQ,' American Journal of Computational Linguistics, vol. 5, 1978. 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, '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, 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, '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. Guida, Giovanni and Giancarlo Mauri, 'Evaluation of natural language processing systems: issues and approaches,' Proceedings of the IEEE, vol. 74, no. 7, pp. 1026-1035, July 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. Hajic^ova', Eva and Petr Sgall, 'Towards an automatic identification of topic and focus,' ACL Proceedings, Second European Conference, pp. 263-267, 1985. 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., Go'del, 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, A Logic of Attribute-Value Structures and the Theory of Grammar, CSLI/Chicago University Press, Stanford/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, 'Unification in grammar,' in Natural Language Understanding and Logic Programming, ed. Veronica Dahl and Patrick Saint-Dizier, pp. 233-240, North-Holland, Amsterdam, 1985. 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, 1985. 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. Margaret King, 'The prospects of machine translation,' in Advances in Artificial Intelligence, ed. Ben du Boulay, David Hogg, Luc Steels, pp. 437-448, North- Holland, Amsterdam, 1987. 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, 1983. Koskenniemi, Kimmo, 'Two-level model for morphological analysis,' IJCAI-83, pp. 683-685, 1983. 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. Leech, Geoffrey N., Principles of Pragmatics, Longmans, London and New York, 1983. Lehnert, Wendy G., 'Knowledge-based natural language understanding,' in Exploring Artificial Intelligence, ed. Howard E. Shrobe, pp. 83-131, Morgan Kaufmann, San Mateo, 1988. 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. Mann, William C., 'An overview of the Nigel text generation grammar,' ACL Proceedings, 21st Annual Meeting, pp. 79-84, 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). McDonald, David D., 'Natural language generation as a computational problem: an introduction,' in Computational Models of Discourse, ed. Michael Brady and Robert C. Berwick, pp. 109-265, MIT Press, Cambridge, Ma., 1983. 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. Robert E. Mercer, '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. Jack Minker, 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. Moortgat, Michael, Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus, Foris, Dordrecht, 1988. 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. 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, 1984. Pullum, Geoffrey K., 'Syntactic and semantic parsability,' COLING-84, pp. 112-122, 1984. 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, Formal Methods in Artificial Intelligence, Cambridge University Press, Cambridge, 1988. 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., 'Semantics in parsing,' in Parsing Natural Language, ed. Margaret King, pp. 199-217, Academic Press, London, 1983. 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, 1983. 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. Sa8o9agvall, '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, 1983. Sampson, Geoffrey, 'Deterministic parsing,' in Parsing Natural Language, ed. Margaret King, pp. 91-116, Academic Press, London, 1983. 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. Selfridge, Mallory, 'A computer model of child language learning,' Artificial Intelligence, vol. 29, no. 2, pp. 171-216, 1986. 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., 'Evidence against the non-context-freeness of natural language,' Linguistics and Philosophy, vol. 8, no. 3, pp. 333-343, 1985. Shieber, Stuart M., 'Criteria for designing computer facilities for linguistic analysis,' Linguistics, vol. 23, no. 2, pp. 189-211, 1985. Shieber, Stuart M., 'Using restriction to extend parsing algorithms for complex-feature-based formalisms,' ACL Proceedings, 23rd Annual Meeting, pp. 145-152, 1985. Shieber, Stuart M., 'A simple reconstruction of GPSG,' COLING-86, pp. 211-215, 1986. Shieber, Stuart M., An Introduction to Unification-Based Approaches to Grammar, University of Chicago Press, Chicago, 1986. 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. Sondheimer, Norman K., Ralph M. Weischedel, and Robert J. Bobrow, 'Semantic interpretation using KL-ONE,' COLING-84, pp. 101- 107, 1984. 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. Steele Jr, Guy L., Common Lisp: The Language, Digital Press, 1984. 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., LISP: A Gentle Introduction to Symbolic Computation, Harper & Row, New York, 1984. 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. Jun-ichi Tsujii, 'Future directions of machine translation,' COLING-86, pp. 655-668, 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. Wahlster, Wolfgang, 'The role of natural language in advanced knowledge-based systems,' in Artificial Intelligence and Man-Machine Systems, ed. H. Winter, pp. 62-83, Springer, Heidelberg, 1986. David L. Waltz and Jordan B. Pollack, 'Massively parallel parsing: a strongly interactive model of natural language interpretation,' Cognitive Science, vol. 9, no. 1, pp. 51-74, 1984. 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. Weischedel, Ralph M. and Norman K. Sondheimer, 'Meta-rules as a basis for processing ill-formed output,' American Journal of Computational Linguistics, vol. 9, no. 3-4, pp. 161-177, 1983. 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. Wilensky, Robert, 'Points: a theory of the structure of stories in memory,' in Readings in Natural Language Processing, ed. Barbara J. Grosz, Karen Sparck-Jones and Bonnie Lynn Webber, pp. 459-473, Morgan Kaufmann, Los Altos, 1986 (1982). 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 A., '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. Winston, Patrick H. and Berthold K.P. Horn, Lisp (Third Edition), Addison Wesley, Reading, Ma, 1989. 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. Yuasa, Taiichi, Common Lisp Drill, Academic Press, New York, 1988. Yuasa, Taiichi and Masami Hagiya, Introduction to Common Lisp, Academic Press, New York, 1987. 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.