@inproceedings{
    Oikarinen03:tktpv,
    editor = "Korhonen, Ari and Tarhio, Jorma",
    author = "Oikarinen, Emilia",
    publisher = "Yliopistopaino",
    title = "Logiikkaohjelmien ekvivalenssitestaus",
    booktitle = {Tietojenk\"asittelytieteen p\"aiv\"at 2003},
    address = "Espoo, Finland",
    month = "May",
    note = "In Finnish",
    flags = "SA-53695",
    year = "2003",
    pages = "44--47"
}