Solution to the P-W Problem. - Errol P. Martin; Robert K. Meyer (J. Symb. Log., 1982)

The fundamental S-theorem - a corollary. - Robert Dwyer; Errol P. Martin; Robert K. Meyer (Notre Dame J. Formal Log., 1983)

Logic on the Australian plan. - Robert K. Meyer; Errol P. Martin (J. Philos. Log., 1986)

Logical Matrix Generation and Testing. - Peter K. Malkin; Errol P. Martin (CADE, 1988)

Further Results on Proof Theories For Semilattice Logics. - Robert K. Meyer; Errol P. Martin; Steve Giambrone; Alasdair Urquhart (Math. Log. Q., 1988)