An algebra and a logic for NC (1990)

by K J Compton, C Laflamme
Venue:Inf. Comput