@inproceedings{
    JJJO04:kolicall,
    editor = "Malmi, Lauri",
    author = {Janhunen, Tomi and Jussila, Toni and J\"arvisalo, Matti and Oikarinen, Emilia},
    title = "Teaching {S}mullyan's Analytic Tableaux in a Scalable Learning Environment",
    booktitle = "Proceedings of the 4th Annual Finnish / Baltic Sea Conference on Computer Science Education",
    address = "Joensuu",
    month = "October",
    note = "Accepted for publication",
    flags = "copy",
    year = "2004"
}