Unrestricted vs restricted cut in a tableau method for boolean circuits (2005)

by M Järvisalo, T A Junttila, I Niemelä
Venue:Annals of Mathemathics and Artificial Intelligence