Krivoĭ, S. L.: On the computation of congruent closures on terms

HAVIAR, Miroslav. Krivoĭ, S. L.: On the computation of congruent closures on terms. In MathSciNet : Mathematical Reviews on the web. 1. vyd. - Providence : American Mathematical Society, 1999. ISSN 2167-5163, 99c:08002, online, mR1609197, pp. [1-2]. Recenzia na: On the computation of congruent closures on terms / S. L. Krivoĭ. - Kiev : Natsional′naya Akademiya Nauk Ukrainy, 1997.