Publications by 'John Earman'