Algorithms for solutions inference based on unified logical control models - A. E. Litvinenko (Cybernetics and Systems Analysis, 2020)