{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T21:57:23Z","timestamp":1649195843105},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1990,3,1]],"date-time":"1990-03-01T00:00:00Z","timestamp":636249600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1990,3]]},"DOI":"10.1007\/bf00302641","type":"journal-article","created":{"date-parts":[[2004,10,10]],"date-time":"2004-10-10T00:40:42Z","timestamp":1097368842000},"page":"51-75","source":"Crossref","is-referenced-by-count":1,"title":["Replacing unification by constraint satisfaction to improve logic program expressiveness"],"prefix":"10.1007","volume":"6","author":[{"given":"J. W.","family":"Roach","sequence":"first","affiliation":[]},{"given":"R.","family":"Sundararajan","sequence":"additional","affiliation":[]},{"given":"L. T.","family":"Watson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Linear Programming and Network Flows","author":"M. S. Bazaraa","year":"1977","unstructured":"Bazaraa, M. S. and Jarvis, J. J., Linear Programming and Network Flows, John Wiley & Sons, New York, 1977."},{"key":"CR2","volume-title":"Artificial Intelligence","author":"E. Charniak","year":"1984","unstructured":"Charniak, E. and McDermott, D., Artificial Intelligence, Addison-Wesley, Reading, Mass., 1984."},{"key":"CR3","unstructured":"Colmerauer, A., ?Opening the Prolog-III universe,? BYTE, August, 1987."},{"key":"CR4","unstructured":"Davis, Ernest, ?Constraint propagation with real valued quantities,? TR-189, New York University, 1985."},{"key":"CR5","volume-title":"LINPACK User's Guide","author":"J. J. Dongarra","year":"1980","unstructured":"Dongarra, J. J., Bunch, J. R., Moler, C. B., and Stewart, G. W., LINPACK User's Guide, SIAM, Philadelphia, PA, 1980."},{"key":"CR6","first-page":"4","volume":"32","author":"M. H. Emden van","year":"1985","unstructured":"vanEmden, M. H. and Kowalski, R. A., ?The semantics of predicate logic as a programming language,? JACM 32, 4, 1985.","journal-title":"JACM"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Floyd, R., ?The paradigm of programming,? CACM, August, 1979.","DOI":"10.1145\/359138.359140"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Jaffar, J. and Lassez, J. L., ?Constraint logic programming,? Proceedings of the Conference on Principles of Programming Languages, Munich, 1987.","DOI":"10.1145\/41625.41635"},{"key":"CR9","unstructured":"Lassez, C., ?Constraint logic programming,? BYTE, August, 1987."},{"key":"CR10","volume-title":"Third International Conference on Logic Programming, Lecture Notes in Computer Science","author":"K. Morris","year":"1986","unstructured":"Morris, K., Ullman, J. D., and VanGelder, A., ?Design overview of the NAIL! system,? Third International Conference on Logic Programming, Lecture Notes in Computer Science, Springer, Berlin, 1986."},{"key":"CR11","volume-title":"Lecture Notes in Computer Science","author":"L. Naish","year":"1986","unstructured":"Naish, L., ?Negation and control in PROLOG,? Lecture Notes in Computer Science, Springer, Berlin, 1986."},{"key":"CR12","volume-title":"Some extensions to the closed world assumption in databases","author":"S.A. Naqvi","year":"1986","unstructured":"Naqvi, S. A., ?Some extensions to the closed world assumption in databases,? International Conference on Database Theory, Lecture Notes in Computer Science, Springer, Berlin, 1986."},{"key":"CR13","unstructured":"Roach, J. W. and Fowler, G. S., ?Virginia Tech Prolog\/Lisp, a dual interpreter implementation,? Proc. of the 18th Hawaii International Conference on System Sciences, 1985, pp. 88?92."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"1","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,? JACM 12, 1, 1965.","journal-title":"JACM"},{"key":"CR15","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"J. C. Shepherdson","year":"1988","unstructured":"Shepherdson, J. C., ?Negation in logic programming,? in Foundations of Deductive Databases and Logic Programming (J.Minker, editor), Los Altos, CA: Morgan Kaufmann, 1988."},{"key":"CR16","unstructured":"Steele, G. L., ?The definition and implementation of a computer programming language based on constraints,? AI-TR-595, MIT, August 1980."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1007\/BF02165411","volume":"13","author":"V. Strassen","year":"1969","unstructured":"Strassen, V., ?Gaussian elimination is not optional,? Numerische Mathematik 13, 354?365 (1969).","journal-title":"Numerische Mathematik"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Sutherland, I., ?SKETCHPAD: A man-machine graphical communication system,? IFIPS Proceedings of the Spring Joint Computer Conference, 1963.","DOI":"10.1145\/1461551.1461591"},{"key":"CR19","first-page":"19","volume-title":"The Psychology of Computer Vision","author":"D. Waltz","year":"1975","unstructured":"Waltz, D., ?Understanding live drawings of scenes with shadows,? in The Psychology of Computer Vision (P.Winston, editor), NY: McGraw-Hill, 1975, pp. 19?91."},{"key":"CR20","unstructured":"Warren, D. H. D., ?Implementing Prolog ? compiling logic programs?, vols. 1 and 2, DAI Research Reports 39 and 40, University of Edinburgh, 1977."},{"key":"CR21","unstructured":"Warren, D. H. D., ?an abstract Prolog instruction set,? Technical Note 309, SRI International, October 1983."},{"key":"CR22","volume-title":"Artificial Intelligence","author":"P. H. Winston","year":"1984","unstructured":"Winston, P. H., Artificial Intelligence, Addison-Wesley, Reading, Mass., 1984."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00302641.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00302641\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00302641","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T21:25:07Z","timestamp":1554758707000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00302641"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,3]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,3]]}},"alternative-id":["BF00302641"],"URL":"https:\/\/doi.org\/10.1007\/bf00302641","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,3]]}}}