Index Fungorum: Lichenomphalia alpina (Britzelm.) Redhead, Lutzoni, Moncalvo & Vilgalys (Lichenomphaliaceae, Agaricales)