@article{0e19636efa104fedba7c219250bedf11,
title = "An Analytic Tableaux Model for Deductive Mastermind Empirically Tested with a Massively Used Online Learning System",
keywords = "Deductive Mastermind, Mastermind game, Deductive reasoning, Analytic tableaux, Math Garden (Rekentuin), Educational tools",
author = "Nina Gierasimczuk and \{van der Maas\}, \{Han L. J.\} and Raijmakers, \{Maartje E. J.\}",
year = "2013",
month = jul,
doi = "10.1007/s10849-013-9177-5",
language = "English",
volume = "22",
pages = "297--314",
journal = "Journal of Logic, Language and Information",
issn = "0925-8531",
publisher = "Springer Science and Business Media B.V.",
number = "3",
}