Ádám, András. 1976. “An Application of Truth Functions in Formalized Diagnostics”. Acta Cybernetica 2 (4), 291-98. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3123.