@inproceedings{
    JunttilaNiemela:CL2000,
    editor = "Lloyd, John and Dahl, Veronica and Furbach, Ulrich and Kerber, Manfred and Lau, Kung-Kiu and Palamidessi, Catuscia and Pereira, Lu{\'i}s Moniz and Sagiv, Yehoshua and Stuckey, Peter J.",
    author = {Junttila, Tommi A. and Niemel{\"a}, Ilkka},
    publisher = "Springer, Berlin",
    title = "Towards an Efficient Tableau Method for {Boolean} Circuit Satisfiability Checking",
    url = "http://link.springer.de/link/service/series/0558/tocs/t1861.htm",
    series = "Lecture Notes in Artificial Intelligence",
    booktitle = "Computational Logic -- CL 2000; First International Conference",
    address = "London, UK",
    month = "July",
    volume = "1861",
    year = "2000",
    pages = "553--567"
}