Trie Based Subsumption and Improving the pi-Trie Algorithm.

Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal

Browse the full CADE paper archive.