@inproceedings{e1724f5783d14edc8d836195f0442dfa,
title = "Teaching Smullyan's Analytic Tableaux in a Scalable Learning Environment",
keywords = "Computer-aided education, Smullyan's analytic tableaux, Computer-aided education, Smullyan's analytic tableaux, Computer-aided education, Smullyan's analytic tableaux",
author = "Tomi Janhunen and Toni Jussila and Matti J{\"a}rvisalo and Emilia Oikarinen",
year = "2004",
language = "English",
pages = "85--94",
editor = "Ari Korhonen and Lauri Malmi",
booktitle = "Kolin Kolistelut - Koli Calling 2004, 4th Annual Finnish / Baltic Sea Conference on Computer Science Education, Koli, Suomi, 1-3.10. 2004",
publisher = "Otamedia Oy",
address = "Finland",
}