Using computer trees to derive lower bounds for selection problems | IEEE Conference Publication | IEEE Xplore