@article{
    Niemela94:tkt,
    author = {Niemel{\"a}, Ilkka},
    title = {Autoepisteeminen logiikka ep\"amonotonisen p\"a\"attelyn pohjana},
    journal = {Tie\-to\-jen\-k\"a\-sit\-tely\-tiede},
    number = "",
    month = "",
    volume = "6",
    year = "1994",
    pages = "15--25"
}