Two applications of inductive counting for complementation problems (1989)

by Allan Borodin, Stephen A Cook, Patrick W Dymond, Walter L Ruzzo, Martin Tompa
Venue:SIAM J. Comput