Updating Reduced Implicate Tries.

Neil V. Murray, Erik Rosenthal

Browse the full TABLEAUX paper archive.