"Input Elimination and Abstraction in Model Checking."

Sela Mador-Haim, Limor Fix (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics