Prime Implicate Tries.

Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal

Browse the full TABLEAUX paper archive.