Eliminating Models During Model Elimination.

Michael Rawson, Giles Reger

Browse the full TABLEAUX paper archive.