Nikitin A. Yu. «Decidability of the restricted theories of a class of partial orders» // Applied Discrete Mathematics 2019. №45 C.6-12
Kudyk Ivan D., Nikitin Alexey Yu. «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
Rybalov A. N., Nikitin A. Y. «On complexity of the satisfiability problem of systems over finite posets» // Applied Discrete Mathematics 2018. №39 C.94-98