@misc{
    JarvisaloJunttilaNiemela:AIMath04,
    author = {J{\"a}rvisalo, Matti and Junttila, Tommi and Niemel{\"a}, Ilkka},
    howpublished = "AI\&M 15--2004, 8th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, USA, January 4--6",
    note = "Proceedings available at {\tt http://rutcor.rutgers.edu/%7Eamai/aimath04/}",
    year = "2004",
    flags = "copy SA-53695 LOGIC",
    title = "Unrestricted vs Restricted Cut in a Tableau Method for {B}oolean Circuits"
}