Alessandro Agostini Marco Aiello Teaching Via the Web: A Self-Evaluation Game Using Java for Learning Logical Equivalence. 75-80 1999 WebNet db/conf/webnet/webnet1999-1.html#AgostiniA99