Order:
  1.  34
    Predicate-functors and the limits of decidability in logic.Aris Noah - 1980 - Notre Dame Journal of Formal Logic 21 (4):701-707.
  2.  52
    Nonclassical syllogistic inference and the method of resolution.Aris Noah - 1993 - Notre Dame Journal of Formal Logic 34 (2):209-222.