{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:04:52Z","timestamp":1775012692700,"version":"3.50.1"},"reference-count":7,"publisher":"Pleiades Publishing Ltd","issue":"6","license":[{"start":{"date-parts":[[2007,11,1]],"date-time":"2007-11-01T00:00:00Z","timestamp":1193875200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2007,11,1]],"date-time":"2007-11-01T00:00:00Z","timestamp":1193875200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2007,11]]},"DOI":"10.1134\/s0361768807060011","type":"journal-article","created":{"date-parts":[[2007,11,26]],"date-time":"2007-11-26T04:37:22Z","timestamp":1196051842000},"page":"299-306","source":"Crossref","is-referenced-by-count":0,"title":["Scheme inclusion verification algorithm in algebraic model of programs with constants"],"prefix":"10.1134","volume":"33","author":[{"given":"D. M.","family":"Rusakov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","reference":[{"key":"6001_CR1","doi-asserted-by":"crossref","unstructured":"Podlovchenko, R.I. and Rusakov, D.M., Inclusion Problem in Algebraic Models of Programs with Constants, Programmirovanie, 2007, no. 3, pp. 3\u201315 [Programming Comput. Software (Engl. Transl.), 2007, vol. 33, no. 3, pp. 121\u2013131].","DOI":"10.1134\/S0361768807030012"},{"key":"6001_CR2","first-page":"351","volume-title":"Lecture Notes in Computer Science","author":"R. Podlovchenko","year":"2006","unstructured":"Podlovchenko, R., Rusakov, D., and Zakharov, V., On the Equivalence Problem for Programs with Mode Switching, Lecture Notes in Computer Science, Berlin: Springer, 2006, vol. 3845, pp. 351\u2013352."},{"key":"6001_CR3","volume-title":"Trudy instituta sistemnogo programmirovaniya","author":"R. Podlovchenko","year":"2006","unstructured":"Podlovchenko, R., Rusakov, D., and Zakharov, V., On the Equivalence Problem for Programs with Mode Switching, Trudy instituta sistemnogo programmirovaniya (Proc. of the Institute for System Programming), vol. 11, Ivannikov, V.P., Ed., Moscow: ISP RAN, 2006."},{"key":"6001_CR4","unstructured":"Kas\u2019yanov, V.N. and Evstigneev, V.A., Grafy v programmirovanii: obrabotka, vizualizatsiya i primenenie (Graphs in Programming: Processing, Visualization, and Application), BKhV-Peterburg, 2003."},{"key":"6001_CR5","unstructured":"Cormen, T., Leiserson, C., Rivest, R., and Stein, K., Introduction to Algorithms, The MIT Press, 2001, 2nd ed."},{"key":"6001_CR6","volume-title":"Vvedenie v teoriyu avtomatov","author":"V.B. Kudryavtsev","year":"1985","unstructured":"Kudryavtsev, V.B., Aleshin, S.V., and Podkolzin, A.S., Vvedenie v teoriyu avtomatov (Introduction to Automata Theory), Moscow: Nauka, 1985."},{"key":"6001_CR7","doi-asserted-by":"crossref","unstructured":"Hopcroft, J.E., Motwani, R., and Ullman, J.D., Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2001.","DOI":"10.1145\/568438.568455"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807060011.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768807060011","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807060011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807060011.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:02:25Z","timestamp":1775008945000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768807060011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11]]},"references-count":7,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2007,11]]}},"alternative-id":["6001"],"URL":"https:\/\/doi.org\/10.1134\/s0361768807060011","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,11]]}}}