Distributed Satellite Resource Allocation Mechanism Based on Contract Theory | IEEE Conference Publication | IEEE Xplore