Publications by authors named "D Kripke"