Hill-Type Formula and Krein-Type Trace Formula for Hamiltonian Systems. ATA. 2022;37(1):74-101. doi:10.4208/ata.2021.pr80.09