@article{ZNSL_1997_241_a2,
     author = {G. V. Davydov and I. M. Davydova},
     title = {Number representations of satisfiability},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {72--96},
     year = {1997},
     volume = {241},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_1997_241_a2/}
}