Email Record: A computational logic / Robert S. Boyer and J. Strother Moore.