The Intersection of Algorithmically Random Closed Sets and Effective Dimension. - CASE, ADAM; PORTER, CHRISTOPHER P. (ACM Transactions on Computational Logic, 2022)