- P. E. Alaev, “Structures Computable in Polynomial Time. II”, Algebra Logic, 56, no. 6, 2018, 429
- I. Kalantari, 138, Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory, 1998, 515
- B. M. Khoussainov, R. Dadajanov, Logical Methods, 1993, 438
- S.S. Goncharov, 138, Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory, 1998, 261