Вальковский, и Мустафина, (2004) Модели абдуктивной логики при анализе надежности программного обеспечения, Труды СПИИРАН, 1(2), сс. 57-63. DOI: 10.15622/sp.2.4.