Eghbali, M. On Artinianness of Formal Local Cohomology, Colocalization and Coassociated Primes. Math. Scand. 2013, 113 (1), 5-19. https://doi.org/10.7146/math.scand.a-15478.