@article{IIGUM_2023_44_a7,
     author = {Nikita A. Protsenko and Vladimir V. Rybakov and Vitaliy V. Rimatskiy},
     title = {Satisfiability problem in interval {FP-logic}},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {98--107},
     publisher = {mathdoc},
     volume = {44},
     year = {2023},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2023_44_a7/}
}