@article{cai91, author = {Mousa Mousazadeh and Behrouz Tork Ladani and Hans Zantema}, title = {Liveness Verification in TRSs Using Tree Automata and Termination Analysis}, journal = {Computing and Informatics}, volume = {28}, number = {1}, year = {2012}, language = {en}, url = {http://dml.mathdoc.fr/item/cai91} }
Mousa Mousazadeh; Behrouz Tork Ladani; Hans Zantema. Liveness Verification in TRSs Using Tree Automata and Termination Analysis. Computing and Informatics, Tome 28 (2012) no. 1, . http://gdmltest.u-ga.fr/item/cai91/