@inproceedings{
    JJN:AIMath04,
    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/~mjj/publications_by_type.shtml",
    booktitle = "8th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, USA, January 4--6",
    note = "Proceedings available at \url{http://rutcor.rutgers.edu/\%7Eamai/aimath04/}",
    flags = "SA-53695 public",
    year = "2004",
    onlinenote = "See URL below for a preliminary full version"
}