Branden Fitelson and Edward N. Zalta Steps Toward a Computational Metaphysics articleSteps Toward a Computational MetaphysicsBranden Fitelson and Edward N. ZaltaJournal of Philosophical Logic, vol. 36, no. 2, 2007, pp. 227–247PDF