2018. The complexity of quasivariety lattices for the classes of differential groupoids. Journal of Mathematics Mechanics and Computer Science. 93, 1 (Jun. 2018), 32–45.