Gamification of Problem Solving Process Based on Logical Rules. - Fedor Novikov; Viktor Katsman (ISSEP, 2018)