Reference: Javier Esparza, Pradeep Kanade, and Stefan Schwoon. A negative result on depth-first unfoldings. Software Tools for Technology Transfer, 2007. Online First DOI 10.1007/s10009-007-0030-5. Suggested BibTeX entry: @article{EKS07,     author = {Javier Esparza and Pradeep Kanade and Stefan Schwoon},     journal = {Software Tools for Technology Transfer},     note = {Online First DOI 10.1007/s10009-007-0030-5},     title = {A Negative Result on Depth-First Unfoldings},     year = {2007} }

GZipped PostScript (80 kB)