Bezzazi, Makinson及Pino最近系统地研究了一些非Horn型推理规则(它们强于RM规则或者与RM规则不可比),给出了P+RM+WD 与P+RM+RC非......