This is a joint effort between investigators from the University of New Haven and the University at Albany-SUNY. The objective is to investigate compilation of propositional knowledge bases. A particular focus will be reduced implicate tries (ri-tries), which guarantee response time linear in the size of the query. Implementation and analysis of ri-tries are being undertaken concurrently.