Xiao Ma, Jia Liu, Baoming Bai: New Techniques for Upper-Bounding the ML Decoding Performance of Binary Linear Codes. IEEE Trans. Commun. 61(3): 842-851 (2013)