@article{JarvisaloJunttilaNiemela:AMAI05,
author = {Matti J{\"a}rvisalo and Tommi Junttila and Ilkka Niemel{\"a}},
journal = {Annals of Mathematics and Artificial Intelligence},
month = {August},
number = {4},
pages = {373--399},
title = {Unrestricted vs Restricted Cut in a Tableau Method for {B}oolean Circuits},
volume = {44},
year = {2005},
}