A Comparison of Elaborated and Restricted Feedback in LogEx, a Tool for Teaching Rewriting Logical Formulae - Lodder, Josje; Heeren, Bastiaan; Jeuring, Johan (Journal of Computer Assisted Learning, 2019)