Hasan, Osman and Patel, Jigar and Tahar, Sofiène (2011) Formal reliability analysis of combinational circuits using theorem proving. Journal of Applied Logic, 9 (1). pp. 41-60. ISSN 15708683