{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T21:54:02Z","timestamp":1672523642293},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1993,12,1]],"date-time":"1993-12-01T00:00:00Z","timestamp":754704000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AAECC"],"published-print":{"date-parts":[[1993,12]]},"DOI":"10.1007\/bf01200151","type":"journal-article","created":{"date-parts":[[2005,2,24]],"date-time":"2005-02-24T13:11:08Z","timestamp":1109250668000},"page":"269-286","source":"Crossref","is-referenced-by-count":5,"title":["Discovery of invariant equalities in programs over data fields"],"prefix":"10.1007","volume":"4","author":[{"given":"A. A.","family":"Letichevsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. S.","family":"Lvov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Commutative algebra, vol. 2","author":"P. Samuel","year":"1975?1976","unstructured":"Samuel, P., Zariski, O.: Commutative algebra, vol. 2. Berlin, Heidelberg, New York: Springer 1975?1976"},{"key":"CR2","first-page":"1","volume":"6","author":"A.A. Letichevsky","year":"1979","unstructured":"A.A. Letichevsky: An approach to program analysis. Cybernetics6, 1?8 (1979)","journal-title":"Cybernetics"},{"key":"CR3","first-page":"22","volume":"5","author":"M.S. Lvov","year":"1986","unstructured":"M.S. Lvov: Invariant inequalities in programs interpreted on ordered fields. Cybernetics5, 22?27 (1986)","journal-title":"Cybernetics"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Caplain, M.: Finding invariant assertions for proving programs. Proc. Intern. Conf. Reliable Software, Los Angeles: 165?171 (1976)","DOI":"10.1145\/390016.808436"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF00268497","volume":"6","author":"M. Karr","year":"1976","unstructured":"Karr, M.: Affine relationships among variables of a program. Acta Informatica6, 133?151 (1976)","journal-title":"Acta Informatica"},{"key":"CR6","unstructured":"Letichevsky, A.A.: Abstract data types and finding invariants of programs. Proc. of the Intern. Congr. Math., Aug. 16?24. Warszaw: 1612?1617 (1983)"},{"key":"CR7","first-page":"12","volume":"5","author":"S.L. Krivoy","year":"1981","unstructured":"Krivoy, S.L.: On an algorithm of searching the invariant relations in programs. Cybernetics5, 12?18 (1981)","journal-title":"Cybernetics"}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01200151.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01200151\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01200151","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T22:35:58Z","timestamp":1586126158000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01200151"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,12]]},"references-count":7,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1993,12]]}},"alternative-id":["BF01200151"],"URL":"https:\/\/doi.org\/10.1007\/bf01200151","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,12]]}}}