@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 Netherlands",
number = "3",
}