ShengYu Shen, Ying Qin, Jianmin Zhang, Sikun Li. A halting algorithm to determine the existence of decoder. In Roderick Bloem, Natasha Sharygina, editors, Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23. pages 91-99, IEEE, 2010. [doi]