{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,2]],"date-time":"2023-01-02T20:28:15Z","timestamp":1672691295287},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1986,6,1]],"date-time":"1986-06-01T00:00:00Z","timestamp":517968000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1986,6]]},"DOI":"10.1007\/bf03037439","type":"journal-article","created":{"date-parts":[[2009,4,23]],"date-time":"2009-04-23T22:41:40Z","timestamp":1240526500000},"page":"133-152","source":"Crossref","is-referenced-by-count":10,"title":["Maximal unifiable subsets and minimal nonunifiable subsets"],"prefix":"10.1007","volume":"4","author":[{"given":"T. Y.","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J -L","family":"Lassez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G. S.","family":"Port","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037439_CR1","unstructured":"Bruynooghe, M. and Pereira L. M., \u201cDeduction Revision by Intelligent Backtracking,\u201d inProlog Implementation (J. A. Campbell, ed.), pp. 194\u2013215, 1984."},{"key":"BF03037439_CR2","unstructured":"Chang, C. C. and Lee, D. C. T.,Symbolic Logic and Mechanical Theorem Proving, Academic Press, 1973."},{"key":"BF03037439_CR3","unstructured":"Cox, P. T., \u201cFinding Backtrack Points for Intelligent Backtracking,\u201d inProlog Implementation (J. A. Campbell, ed.), pp. 216\u2013233, 1984."},{"key":"BF03037439_CR4","unstructured":"Jaffar, J., Lassez, J-L and Lloyd, J. W., \u201cCompleteness of the Negation as Failure Rule,\u201dProceedings of the International Joint Conference on Artificial Intelligence, pp. 500\u2013506, 1983."},{"key":"BF03037439_CR5","unstructured":"Kowalski, R. A.,Logic for Problem-Solving, North-Holland, 1981."},{"key":"BF03037439_CR6","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0304-3975(84)90017-3","volume":"29","author":"J-L Lassez","year":"1984","unstructured":"Lassez, J-L and Maher, M.J., \u201cClosures and Fairness in the Semantics of Programming Logic,\u201dTheoretical Computer Science, Vol. 29, pp. 167\u2013184, 1984.","journal-title":"Theoretical Computer Science"},{"key":"BF03037439_CR7","doi-asserted-by":"crossref","unstructured":"Matwin, S., and Pietrzykowski, T., \u201cExponential Improvement of Exhaustive Backtracking: Data Structure and Implementation,\u201dProc. 6th Conference on Automated Deduction, pp. 240\u2013259, 1982.","DOI":"10.1007\/BFb0000063"},{"key":"BF03037439_CR8","doi-asserted-by":"crossref","unstructured":"Pietrzykowski, T., and Matwin, S., \u201cExponential Improvement of Efficient Backtracking: A Strategy for Plan Based Deduction,\u201dProc. 6th Conference on Automated Deduction, pp. 223\u2013239, 1982.","DOI":"10.1007\/BFb0000062"},{"key":"BF03037439_CR9","unstructured":"Port, G. S., \u201cControl Strategies for Logic Programs,\u201dPh. D. Dissertation, Department of Computer Science, University of Melbourne, forthcoming."},{"key":"BF03037439_CR10","unstructured":"Yasuura, H., \u201cOn Parallel Computational Complexity of Unification,\u201dProceedings of the International Conference of Fifth Generation Computer Systems 1984, pp. 235\u2013243, 1984."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037439.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037439\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037439","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:37Z","timestamp":1558558357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037439"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,6]]},"references-count":10,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1986,6]]}},"alternative-id":["BF03037439"],"URL":"https:\/\/doi.org\/10.1007\/bf03037439","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,6]]}}}