Publications by authors named "Kripke D"