Prefer a chat interface with context about you and your work?
Fermionic solution of the Andrews-Baxter-Forrester model. II. Proof of Melzer's polynomial identities