Javier Esparza Pradeep Kanade Stefan Schwoon A negative result on depth-first net unfoldings. 161-166 2008 10 STTT 2 http://dx.doi.org/10.1007/s10009-007-0030-5 db/journals/sttt/sttt10.html#EsparzaKS08