(1)
Любченко, К. Using the Master of Logic for Tasks Solutions and Scheduling. e-learn 2014, 4, 177-182.