An Izergin-Korepin-type identity for the 8VSOS model, with applications to alternating sign matrices - Hjalmar Rosengren (2008)