@article{Jarvisalo:tkt04,
author = {Matti J{\"a}rvisalo},
journal = {Tietojenk{\"a}sittelytiede},
note = {In Finnish},
pages = {47--63},
title = {Lauselogiikan toteutuvuustarkastus: k{\"a}yt{\"a}nn{\"o}nl{\"a}heist{\"a} teoriaa},
volume = {22},
year = {2004},
}