@inproceedings{
    JJJO04:kolicall,
    editor = "Korhonen, Ari and Malmi, Lauri",
    author = {Janhunen, Tomi and Jussila, Toni and J{\"a}rvisalo, Matti and Oikarinen, Emilia},
    title = "Teaching {S}mullyan's Analytic Tableaux in a Scalable Learning Environment",
    booktitle = "Proceedings of the 4th Finnish/Baltic Sea Conference on Computer Science Education",
    address = "Joensuu",
    month = "October",
    note = "Published in the report series of the Laboratory of Information Processing, TKO-A42/04",
    year = "2004",
    pages = "85--94"
}