Moving selections into linear least fixpoint queries | IEEE Conference Publication | IEEE Xplore