Nikitin A. Yu. «Decidability of the restricted theories of a class of partial orders» // Applied Discrete Mathematics 2019. №45 C.6-12
Nikitin Alexey Yu., Kudyk Ivan D. «Criterion for equational Noetherianity and complexity of the solvability problem for systems of equations over partially ordered sets» // Applied Discrete Mathematics 2024. №64 C.7-19