@article{AL_2020_59_4_a1,
     author = {D. Yu. Emelyanov and B. Sh. Kulpeshov and S. V. Sudoplatov},
     title = {Algebras of binary formulas for compositions of theories},
     journal = {Algebra i logika},
     pages = {432--457},
     year = {2020},
     volume = {59},
     number = {4},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2020_59_4_a1/}
}