An Algebra and a Logic for NC¹ Kevin J. Compton Claude Laflamme 240-262 Inf. Comput. July/August 1990 87 1/2 db/journals/iandc/iandc87.html#ComptonL90