J. Vilanova Arias, “Circularities in the Implicit Definitions Theory of Logical Knowledge”, FPhil, no. 17, pp. 73–95, Jan. 2005.