@inproceedings{
    Hyvarinen:tktp06,
    editor = {Kutvonen, Lea and Kuuppelom{\"a}ki, P{\"a}ivi},
    author = {Hyv{\"a}rinen, Antti E. J.},
    publisher = {Tietojenk{\"a}sittelytieteen laitos},
    title = {Lauselogiikan toteutuvuusongelman ratkaiseminen laskennallisessa gridiss{\"a}},
    series = {Tietojenk{\"a}sittelytieteen laitoksen julkaisjua sarja B},
    booktitle = {Tietojenk{\"a}sittelytieteen p{\"a}iv{\"at} 2006},
    volume = "B-2006-3",
    flags = "ACPT",
    year = "2006",
    pages = "37 -- 43"
}