Meena Mahajan Venkatesh Raman Somnath Sikdar Parameterizing above or below guaranteed values. 137-153 2009 75 J. Comput. Syst. Sci. 2 http://dx.doi.org/10.1016/j.jcss.2008.08.004 db/journals/jcss/jcss75.html#MahajanRS09