Kostylev, E. V.; Zakharov, V. A. On complexity of the anti-unification problem. (English. Russian original) Zbl 1176.68092 Discrete Math. Appl. 18, No. 1, 85-98 (2008); translation from Diskretn. Mat. 20, No. 1, 131-144 (2008). MSC: 68Q25 68R10 PDFBibTeX XMLCite \textit{E. V. Kostylev} and \textit{V. A. Zakharov}, Discrete Math. Appl. 18, No. 1, 85--98 (2008; Zbl 1176.68092); translation from Diskretn. Mat. 20, No. 1, 131--144 (2008) Full Text: DOI
Kuzyurin, N. N. Multiprocessor scheduling and combinatorial configurations. (English. Russian original) Zbl 0836.68084 Discrete Math. Appl. 5, No. 1, 63-72 (1995); translation from Diskretn. Mat. 7, No. 1, 77-87 (1995). MSC: 68R10 90B35 PDFBibTeX XMLCite \textit{N. N. Kuzyurin}, Discrete Math. Appl. 5, No. 1, 63--72 (1995; Zbl 0836.68084); translation from Diskretn. Mat. 7, No. 1, 77--87 (1995) Full Text: DOI