My public self and book of beliefs.
A Reasoning System for a First-Order Logic of Limited Belief, written in...