Zhiwei Li, Weichao Wang: Deciding Recognizability under Dolev-Yao Intruder Model. ISC 2010: 416-429