@article{
    Jarvisalo:tkt04,
    author = {J{\"a}rvisalo, Matti},
    note = "In Finnish",
    optmonth = "December",
    title = {Lauselogiikan toteutuvuustarkastus: k{\"a}yt{\"a}nn{\"o}nl{\"a}heist{\"a} teoriaa},
    journal = {Tietojenk{\"a}sittelytiede},
    abstract = "Tämä artikkeli käsittelee loogisten lauseiden toteutuvuutta laskennallisena ongelmana. Tavoitteena on esittää tutkimusalueena teorian ja käytännön välimaastoon sijoittuvan toteutuvuustarkastusmenetelmien kehittämisen ja tehokkuusvertailun perusideoita. Lisäksi pyritään kartoittamaan toteutuvuustarkastusmenetelmien nykyisiä käyttökohteita sekä tutkimusalueen haasteita.",
    optps = "jarvisalo.tkt04.ps",
    volume = "22",
    flags = "SA-53695 public",
    year = "2004",
    pdf = "jarvisalo.tkt04.pdf",
    pages = "47--63"
}