Exactly Solvable SOS Models II: Proof of the star-triangle relation and combinatorial identities

Abstract
Project Euclid - mathematics and statistics online