A Computer-Assisted Instruction Program for Exercises on Finding Axioms. Technical Report Number 186.