An Analysis of Formal Logics as Inference Mechanisms in Expert Systems.

E. H. Mamdani Janet Efstathiou An Analysis of Formal Logics as Inference Mechanisms in Expert Systems. 213-227 1984 21 International Journal of Man-Machine Studies 3 db/journals/ijmms/ijmms21.html#MamdaniE84