I.: Unrestricted vs restricted cut in a tableau method for Boolean circuits (2005)

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