Dan Boneh Richard J. Lipton Effect of Operators on Straight Line Complexity. 1-5 1997 ISTCS http://computer.org/proceedings/istcs/8037/80370001abs.htm db/conf/istcs/istcs1997.html#BonehL97