@article{
    JJN:AMAI05,
    author = {J{\"a}rvisalo, Matti and Junttila, Tommi and Niemel{\"a}, Ilkka},
    title = "Unrestricted vs Restricted Cut in a Tableau Method for {B}oolean Circuits",
    url = "http://dx.doi.org/10.1007/s10472-005-7034-1",
    journal = "Annals of Mathematics and Artificial Intelligence",
    number = "4",
    volume = "44",
    flags = "SA-53695 public",
    year = "2005",
    onlinenote = "See URL above for a preliminary version",
    pages = "373--399"
}