User Association Optimization for IRS-Aided Terahertz Networks: A Matching Theory Approach | IEEE Conference Publication | IEEE Xplore