The Refutation of the anathematisms of Cyril is to be found in Migne Pat. lxxvi. Col. 393. Vide also the prolegomena.