Alan F. McMichael

Mechanization of Analytic Reasoning About Sets

Alan F. McMichael, 1991, AAAI.

An alternative theory of nonexistent objects

Edward N. Zalta, Alan F. McMichael, 1980, J. Philos. Log..

SLIM: An Automated Reasoner For Equivalences, Applied To Set Theory

Alan F. McMichael, 1990, CADE.

A Pragmatic Modification of Explicativity for the Acceptance of Hypotheses

I. J. Good, Alan F. McMichael, I. Good, 1984, Philosophy of Science.