Puzzle-based auction mechanism for spectrum sharing in cognitive radio networks | IEEE Conference Publication | IEEE Xplore