%0 Journal Article %A Constantinescu, Cristian %D 2007 %J The Reasoner %N 7 %P 5-6 %T Translating Kripke's Pierre %V 1