Applications of Assertions as Elementary Tactics in Proof Planning

This publication has 2 references indexed in Scilit:

• A science of reasoning: Extended abstract
  Published by Springer Nature ,1990
• Cognitive processes in propositional reasoning.
  Psychological Review, 1983