Основанный на решетках подход к исследованию и оптимизации множества правил условной системы переписывания термовстатья

Статья опубликована в журнале из перечня ВАК