1. Next generation of e-assessment: automatic generation of questions;Alsubait;Int. J. Technol. Enhanc. Learn.,2012
2. Indirect proof: what is specific to this way of proving?;Antonini;ZDM,2008
3. Towards a theory of declarative knowledge;Apt,1988
4. A first-order-logic based model for grounded language learning;Becerra-Bonache,2015
5. Clinical reasoning, decision-making, and action: thinking critically and clinically;Benner,2008