First-order transition in Potts models with ``invisible'' states. Rigorous proofs.
scientific article; zbMATH DE number 6053389