A. Ádám, “An application of truth functions in formalized diagnostics”, Acta Cybern, vol. 2, no. 4, pp. 291-298, Jan. 1976.