Publications by authors named "Anne Krivine"