Finite limits and monotone computations: the lower bounds criterion | IEEE Conference Publication | IEEE Xplore