Stasys Jukna Finite Limits and Monotone Computations: The Lower Bounds Criterion. 302-313 http://doi.ieeecomputersociety.org/10.1109/CCC.1997.612325 1997 conf/coco/1997 IEEE Conference on Computational Complexity db/conf/coco/coco97.html#Jukna97