An alternative theory of nonexistent objects. - Alan F. McMichael; Edward N. Zalta (J. Philos. Log., 1980)

A new actualist modal semantics. - Alan F. McMichael (J. Philos. Log., 1983)

SLIM: An Automated Reasoner For Equivalences, Applied To Set Theory. - Alan F. McMichael (CADE, 1990)

Mechanization of Analytic Reasoning About Sets. - Alan F. McMichael (AAAI, 1991)