@mastersthesis{JarvisaloMsc,
author = {Matti J{\"a}rvisalo},
school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
title = {Proof Complexity of Cut-Based Tableaux for {B}oolean Circuit Satisfiability Checking},
year = {2004},
}