Yimin Huang Marco Valtorta On the completeness of an identifiability algorithm for semi-Markovian models. 363-408 2008 54 Ann. Math. Artif. Intell. 4 http://dx.doi.org/10.1007/s10472-008-9101-x db/journals/amai/amai54.html#HuangV08