A dead variable analysis for explicit model checking.

Micah Lewis, Michael Jones

Browse the full PEPM paper archive.