1. S. L. Kryvyi, “Criterion of consistency of systems of linear Diophantine equations over a set of natural numbers,” Dop. NANU, No. 5, 107–112 (1999).
2. S. L. Kryvyi, “Methods of solution and criteria of consistency of systems of linear Diophantine equations over the set of natural numbers,” Cybernetics and Systems Analysis, 35, No. 4, 516–538 (1999).
3. S. L. Kryvyi and W. Gzhyvac, “Algorithms for computing a prebasis of the set of solution to systems of linear Diophantine constraints in discrete domains,” Izv. Irkut. Un-ta, Ser. “Matematika,” 2, No. 2, 82–93 (2009).
4. S. Kryvyi, L. Matveeva, and W. Grzywac, “Algorithms for building the minimal supported set of solutions to an HSLDI over the set of natural numbers,” in: Proc. Intern. Conf. “Concurrent Systems and Programming,” Warszawa (2005), pp. 281–290.
5. S. L. Kryvyi, “Algorithms for solving systems of linear Diophantine equations in integer domains” Cybernetics and Systems Analysis, 42, No. 2, 163–175 (2006).