Keyphrases
- dependency structure
- higher order
- natural language
- context free grammars
- theorem proving
- formal languages
- bayesian networks
- graph grammars
- tree grammars
- databases
- equational theories
- formal language theory
- linguistically motivated
- finite state automata
- linguistic knowledge
- database systems
- case study
- search engine
- information retrieval