Larry M. Hines A Tribute to Woody Bledsoe. 1-4 1997 18 J. Autom. Reasoning 1 db/journals/jar/jar18.html#Hines97