ЛЮБЧЕНКО, К. Using the Master of Logic for tasks solutions and scheduling. Theory and methods of e-learning, v. 4, n. 1, p. 177-182, 28 mar. 2014.