理查德·巴纳赫 马可·波扎诺 通过紧缩的无功系统故障树的机械生成II：时钟和反馈电路。 609-657 2013 25 形式方面计算。 4 https://doi.org/10.1007/s00165-011-0203-6 db/journals/fac/fac25.html#BanachB13a