Bibliography

Aït-Kaci, H., R. Boyer, P. Lincoln, and R. Nasr (1989).

Efficient implementation of lattice operations.
Transactions on Programming Languages and Systems  11(1), 115-146.

Carpenter, B. (1992).

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution.
Cambridge Tracts in Theoretical Computer Science 32. Cambridge: Cambridge University Press.

Carpenter, B. and G. Penn (1996).

Compiling typed attribute-value logic grammars.
In H. Bunt and M. Tomita (Eds.), Recent Advances in Parsing Technologies, pp. 145-168. Kluwer.

Curry, H. B. (1961).

Some logical aspects of grammatical structure.
In Jacobson (Ed.), Structure of Language and its Mathematical Aspects: Proceedings of the Twelfth Symposium in Applied Mathematics, pp. 56-68. American Mathematical Society.

Daniels, M. and W. D. Meurers (2002).

Improving the efficiency of parsing with discontinuous constituents.
In S. Wintner (Ed.), Proceedings of NLULP'02: The 7th International Workshop on Natural Language Understanding and Logic Programming, Number 92 in Datalogiske Skrifter, Copenhagen, pp. 49-68. Roskilde Universitetscenter.

Meurers, W. D. (2001).

On expressing lexical generalizations in HPSG.
Nordic Journal of Linguistics 24, 161-127.

Meurers, W. D. and G. Minnen (1997).

A computational treatment of lexical rules in HPSG as covariation in lexical entries.
Computational Linguistics 23(4), 543-568.

Penn, G. (2000).

The algebraic structure of transitive closure and its application to attributed type signatures.
Grammars 3, 295-312.

Penn, G. and M. Haji-Abdolhosseini (2002).

Topological parsing: A linearisation parser specification submitted to project MilCA/A4 of the BMBF.
Technical Report.

Penn, G. and M. Haji-Abdolhosseini (2003).

Topological parsing.
In Proceedings of the 10th Conference of the European Chapter of the Association for Computational Linguistics, pp. 283-290.

Penn, G. and C. Munteanu (2003).

A tabulation-based parsing method that reduces copying.
In Proceedings of the 41st Annual Meeting of the Association for Computational Linguistics, pp. ??-??

Penn, G. and O. Popescu (1997).

Head-driven generation and indexing in ALE.
In Proceedings of Workshop on Computational Environments for Grammar Development and Linguistic Engineering (ENVGRAM). 35th ACL/8th EACL.

Pollard, C. and I. Sag (1994).

Head-Driven Phrase Structure Grammar.
Studies in Contemporary Linguistics. Chicago: CSLI.

Popescu, O. (1996).

Head-driven generation for typed feature structures.
Master's thesis, Cargegie Mellon University.

Shieber, S., C. Pereira, G. van Noord, and R. Moore (1990).

Semantic-head-driven generation.
Computational Linguistics 16(1), 30-42.

Sterling, L. and E. Shapiro (1986).

The Art of Prolog: Advanced Programming Techniques.
MIT Press.

Suhre, O. (1999).

Computational aspects of a grammar formalism for languages with freer word order.
Master's thesis, Eberhard-Karls-Universität Tübingen.