A dead variable analysis for explicit model checking. - Micah Lewis; Michael Jones (PEPM, 2006)