mReactr: A computational theory of deductive reasoning.

Sangeet S. Khemlani, J. Greg Trafton

Browse the full CogSci paper archive.