Carpenter, B., 1992a, “ALE - The attribute logic engine: User' guide,” Technical report, Laboratory for Computational Linguistics, Philosophy Department, Carnegie Mellon University, Pittsburgh, PA 15213.
Carpenter, B., 1992b, The Logic of Typed Feature Structures, Cambridge Tracts in Theoretical Computer Science, Cambridge: Cambridge University Press.
Haas, A., 1989, “A parsing algorithm for unification grammar,” Computational Linguistics
Haddock, N., Klein, E., and Morill, G., eds., 1987, Categorial Grammar, Unification and Parsing, Working Papers in Cognitive Science, Vol. 1, University of Edinburgh, Center for Cognitive Science.
Johnson, M., 1988, Attribute-Value Logic and the Theory of Grammar, CSLI Lecture Notes, Vol. 16, Stanford, CA: CLSI.
Kaplan, R. and Bresnan, J., 1982, “Lexical functional grammar: A formal system for grammatical representation,” pp. 173–281 in TheMental Representation ofGrammatical Relations, J. Bresnan, ed., Cambridge, MA: MIT Press.
Moshier, D.M. and Rounds, W.C., 1987, “A logic for partially specified data structures,” pp. 156–167 in 14th Annual ACM Symposium on Principles of Programming Languages.
Pereira, F.C.N. and Warren, D.H.D., 1983, “Parsing as deduction,” pp. 137–144 in Proceedings of the 21st Annual Meeting of the Association for Computational Linguistics.
Pollard, C. and Sag, I.A., 1994, Head-Driven Phrase Structure Grammar, Chicago: University of Chicago Press and Stanford: CSLI Publications.
Shieber, S.M., 1992, Constraint-Based Grammar Formalisms, Cambridge, MA: MIT Press.
Shieber, S.M., Schabes, Y., and Pereira, F.C.N., 1994, “Principles and implementation of deductive parsing,” Technical Report TR-11-94, Center for Research in Computing Technology, Division of Applied Sciences, Harvard University.
Sikkel, K., 1993, Parsing Schemata, Enschede: Klaas Sikkel.
Wintner, S. and Francez, N., 1995a, “An abstract machine for typed feature structures,” pp. 205–220 in Proceedings of the 5th Workshop on Natural Language Understanding and Logic Programming, Lisbon, May 1995.
Wintner, S. and Francez, N., 1995b, “Parsing with typed feature structures,” Technical Report LCL 95-1, Laboratory for Computational Linguistics, Technion, Israel Institute of Technology, Haifa 32000, Israel.