逻辑系统的可靠性分析
牛秦洲
桂林理工大学学报 . 1995, (1): 88 -96 .