Kevin J. Compton, Claude Laflamme. An Algebra and a Logic for NC¹. Inf. Comput., 87(1/2):240-262, July/August 1990.
@article{ComptonL90, title = {An Algebra and a Logic for NC¹}, author = {Kevin J. Compton and Claude Laflamme}, year = {1990}, month = {July/August}, tags = { algebra, logic}, researchr = {https://researchr.org/publication/ComptonL90}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {87}, number = {1/2}, pages = {240-262}, }