@inproceedings{
    Jarvisalo:TktP04,
    editor = {Fr{\"a}nti, Pasi and Marjomaa, Esko},
    author = {J{\"a}rvisalo, Matti},
    publisher = "Joensuun yliopisto",
    optmonth = "May",
    title = "Todistuskompleksisuudesta {B}oolen piirien toteutuvuustarkastuksessa",
    series = "International Proceedings Series of Department of Computer Science, University of Joensuu",
    booktitle = {Tietojenk{\"a}sittelytieteen p{\"a}iv{\"a}t 2004},
    ps = "jarvisalo.tktp04.ps",
    volume = "5",
    note = "In Finnish",
    flags = "SA-53695 public",
    year = "2004",
    pdf = "jarvisalo.tktp04.pdf",
    pages = "49--53"
}