@InProceedings{,
 author = {S. Kryvyy, L. Matveeva, W. Grzywacz},
 booktitle = {Proceedings of Intern. Conf. Concurent systems and Programing},
 title = {Algorithms for Building of the Minimal Supported Set of solutions of HSLDI over the set of Natural Numbers},
 year = {2005}
 }