{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T09:52:46Z","timestamp":1658224366063},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1989,11,1]],"date-time":"1989-11-01T00:00:00Z","timestamp":625881600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1989,11]]},"DOI":"10.1007\/bf00263501","type":"journal-article","created":{"date-parts":[[2004,9,27]],"date-time":"2004-09-27T10:42:59Z","timestamp":1096281779000},"page":"61-71","source":"Crossref","is-referenced-by-count":9,"title":["An almost linear Robinson unification algorithm"],"prefix":"10.1007","volume":"27","author":[{"given":"Peter","family":"Ru\u017ei\u010dka","sequence":"first","affiliation":[]},{"given":"Igor","family":"Pr\u00edvara","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF00263501_CR1","first-page":"909","volume-title":"Information Processing 83","author":"J. Corbin","year":"1983","unstructured":"Corbin, J., Bidoit, M.: A rehabilitation of Robinson's unification algorithm. In: Mason, R.E.A. (ed.) Information Processing 83. Amsterdam: Elsevier\/North-Holland, pp. 909\u2013914 (1983)"},{"key":"BF00263501_CR2","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A. Martelli","year":"1982","unstructured":"Martelli, A., Montanari, V.: An efficient unification algorithm. Trans. Program. Languages Syst. 4, 258\u2013282 (1982)","journal-title":"Trans. Program. Languages Syst."},{"key":"BF00263501_CR3","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1016\/0022-0000(78)90043-0","volume":"16","author":"M.S. Paterson","year":"1978","unstructured":"Paterson, M.S., Wegman, M.N.: Linear unification. J. Comput. Syst. Sci. 16, 158\u2013167 (1978)","journal-title":"J. Comput. Syst. Sci."},{"key":"BF00263501_CR4","series-title":"Technical Report OPS-6-88","volume-title":"Progress \u2014 a system supporting design and prototyping of algebraic specifications","author":"I. Pr\u00edvara","year":"1988","unstructured":"Pr\u00edvara, I.: PROGRESS \u2014 a system supporting design and prototyping of algebraic specifications. Technical Report OPS-6-88, VUSEI-AR Bratislava 1988"},{"key":"BF00263501_CR5","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM 12, 23\u201341 (1965)","journal-title":"J. ACM"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00263501.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00263501\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00263501","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T13:14:30Z","timestamp":1554297270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00263501"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,11]]},"references-count":5,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1989,11]]}},"alternative-id":["BF00263501"],"URL":"https:\/\/doi.org\/10.1007\/bf00263501","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,11]]}}}