@inproceedings{
    JJN:AIMATH8,
    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://www.tcs.hut.fi/Publications/info/mjj.JJN:AIMath04.shtml",
    booktitle = "AI\&M 2004, 8th International Symposium on Artificial Intelligence and Mathematics",
    address = "Fort Lauderdale, Florida, USA",
    month = "January 4--6",
    flags = "SA-53695,public,copy",
    year = "2004"
}