Identifying the most effective reasoning calculi for a knowledge-based system. - Lawrence J. Mazlack; Wonboo Lee (IEEE Trans. Syst. Man Cybern., 1993)