Morteza Moniri Mojtaba Moniri Some Weak Fragments of HA and Certain Closure Properties. 91-103 2002 67 J. Symb. Log. 1 db/journals/jsyml/jsyml67.html#MoniriM02