@misc{L._P._Lisovik_Decidable,
 author={L. P. Lisovik},
 howpublished={online},
 publisher={Изд-во НАН РА},
 title={Decidable singular theories of two successor functions with an extra predicate},
 type={Հոդված},
 keywords={Mathematics},
}