A Learning System for the Problem of Mutual Exclusion in Multithreaded Programming. - Eisuke Yoshida; Hirotsugu Kakugawa (ICALT, 2004)