A tutorial program for propositional logic with human/computer interactive learning. - Stacy Lukins; Alan Levicki; Jennifer Burg (SIGCSE, 2002)