An Improvement of McMillan's Unfolding Algorithm.

Javier Esparza Stefan Römer Walter Vogler An Improvement of McMillan's Unfolding Algorithm. 87-106 1996 conf/tacas/1996 TACAS db/conf/tacas/tacas96.html#EsparzaRV96