TY  - RPRT
TI  - The difference between generating counter examples and using them during reasoning.
AU  - Niki Verschueren
AU  - Walter Schaeken
AU  - Wim De Neys
AU  - Géry d'Ydewalle
PY  - 2004
DO  - 10.1080/02724980343000774
UR  - https://pubmed.ncbi.nlm.nih.gov/15513247/
ID  - 15513247
ER  -