Email-запись: Reduction, the trace formula, and semiclassical asymptotics