Improving the lazy Krivine machine. - Daniel P. Friedman; Abdulaziz Ghuloum; Jeremy G. Siek; Onnie Lynn Winebarger (High. Order Symb. Comput., 2007)