1. M. FITTING, 1990 . First-order logic and automated theorem proving . Springer-Verlag, New York, p.242 .
2. J. ROGERS, and K. Vijay-Shanker, 1992 . Reasoning with descriptions of trees . InProceedings of the 30th Annual Meeting of the Association for Computational Linguistics, pp. 72 -80 .
3. J. ROGERS, and K. Vijay-Shanker, 1993 . A mechanism for obtaining trees from their descriptions . Technical Report 94-18, University of Delaware, Wilmington, DE, p.36 .
4. S. M. SHIEBER, 1986 . An introduction to unification-based approaches to grammar. CSLI Lecture Notes, Number 4 . Stanford, CA, CSLI, p.105 .
5. S. M. SHIEBER, 1989 . Parsing and type inference for natural and computer languages. Technical Report 460 , SRI International, p.147 .