{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:20:35Z","timestamp":1725614435820},"publisher-location":"Boston, MA","reference-count":16,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781461289487"},{"type":"electronic","value":"9781461316794"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/978-1-4613-1679-4_45","type":"book-chapter","created":{"date-parts":[[2011,9,28]],"date-time":"2011-09-28T02:55:39Z","timestamp":1317178539000},"page":"627-639","source":"Crossref","is-referenced-by-count":1,"title":["The Unification Processor by Pipeline Method"],"prefix":"10.1007","author":[{"given":"M.","family":"Tanabe","sequence":"first","affiliation":[]},{"given":"H.","family":"Aiso","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"l","key":"45_CR1","first-page":"23","volume":"12","author":"JA Robinson","year":"1986","unstructured":"J.A. Robinson, \u201cA Machine-Oriented Logic Based on the Resolution Principle,\u201d J. of ACM, Vol.12, No.l, Jan., 1986, pp.23\u201341.","journal-title":"J. of ACM"},{"issue":"2","key":"45_CR2","first-page":"258","volume":"4","author":"MS Paterson","year":"1982","unstructured":"M.S. Paterson, M.N. Wegman, \u201cLinear Unification,\u201d J. of Computer and Systems, Vol.4, No.2, pp.258\u2013282, Apr., 1982.","journal-title":"J. of Computer and Systems"},{"issue":"2","key":"45_CR3","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A Martelli","year":"1982","unstructured":"A. Martelli, U. Montanari, \u201cAn Efficient Unification Algorithm,\u201d ACM Trans, on Programming Languages and Systems, Vol.4, No.2, pp.258\u2013282, Apr., 1982.","journal-title":"ACM Trans, on Programming Languages and Systems"},{"key":"45_CR4","first-page":"235","volume-title":"Proc. of Inter. Conf. on FGCS\u201984","author":"H Yasuura","year":"1984","unstructured":"H Yasuura, \u201cOn Parallel Computational Complexity of Unification,\u201d in Proc. of Inter. Conf. on FGCS\u201984, pp.235\u2013243, Nov., 1984."},{"key":"45_CR5","volume-title":"The Sharing of Structure in Theorem-proving Programs","author":"RS Boyer","year":"1972","unstructured":"R.S. Boyer, J.S. Moore, \u201cThe Sharing of Structure in Theorem-proving Programs,\u201d Machine Intelligence, Vol.7, Edinburgh U.P., 1972."},{"key":"45_CR6","unstructured":"D.H.D. Warren, \u201cIMPLEMENTATION PROLOG - compiling predicate logic programs,\u201d D.A.I. Research Report No.39, 1977."},{"key":"45_CR7","series-title":"LOGIC PROGRAMMING","first-page":"83","volume-title":"The Memory Management of PROLOG Implementations","author":"M Bruynooghe","year":"1982","unstructured":"M. Bruynooghe, \u201cThe Memory Management of PROLOG Implementations,\u201d LOGIC PROGRAMMING, pp.83\u201398, Academic Press, 1982."},{"key":"45_CR8","series-title":"LOGIC PROGRAMMING","first-page":"99","volume-title":"An Alternative to Structure Sharing in the Implementation of a PROLOG Interpreter","author":"CS Mellish","year":"1982","unstructured":"C.S. Mellish, \u201cAn Alternative to Structure Sharing in the Implementation of a PROLOG Interpreter,\u201d LOGIC PROGRAMMING, pp.99\u2013106,Academic Press, 1982."},{"key":"45_CR9","first-page":"542","volume-title":"Proc. of Inter. Conf. on FGCS\u201984","author":"K Taki","year":"1984","unstructured":"K. Taki, M. Yokota, et. al., \u201cHardware Design and Implementation of the Personal Sequential Inference Machine(PSI),\u201d in Proc. of Inter. Conf. on FGCS\u201984, pp.542\u2013550, Nov., 1984."},{"key":"45_CR10","unstructured":"N. Tamura, K. Wada et. al., \u201cSequential Prolog Machine PEK,\u201d in Proc. of Inter. Conf. on FGCS\u201984, pp.542\u2013550, Now.,1984."},{"key":"45_CR11","first-page":"29","volume-title":"Proc. on 1st Inter. Sym. on Logic Programming","author":"E Tickj","year":"1984","unstructured":"E. Tickj, D.H.D. Warren, \u201cTowards Pipelined Prolog Processor,\u201d in Proc. on 1st Inter. Sym. on Logic Programming, pp.29\u201340, Feb., 1984."},{"key":"45_CR12","volume-title":"Proc. of the Logic Programming Conf.\u201984, ICOT, Mar","author":"M Yuhara","year":"1984","unstructured":"M. Yuhara, H. Koike, H. Tanaka, T. Moto-oka, \u201cA Unify Processor Pilot Machine for Pie,\u201d in Proc. of the Logic Programming Conf.\u201984, ICOT, Mar, 1984."},{"key":"45_CR13","first-page":"198","volume-title":"Proc. of 12th Inter. Sym, on COMPUTER ARCHITECTURE","author":"NS Woo","year":"1985","unstructured":"N.S. Woo, \u201cA Hardware Unification: Design and Analysis,\u201d in Proc. of 12th Inter. Sym, on COMPUTER ARCHITECTURE, pp.198\u2013205, June, 1985."},{"key":"45_CR14","first-page":"162","volume-title":"Proc. of 2nd Sym. on Logic Programming","author":"M Carlsson","year":"1985","unstructured":"M. Carlsson, \u201cA Microcoded Unifier for Lisp Machine Prolog,\u201d in Proc. of 2nd Sym. on Logic Programming, pp.162\u2013171, July, 1985."},{"key":"45_CR15","volume-title":"Proc. of the 13th Inter. Sym. on Comp. Arch., June","author":"M Shobatake","year":"1986","unstructured":"M. Shobatake, H. Aiso, \u201cA UNIFICATION PROCESSOR BASED ON A UNIFORMLY STRUCTURED CELLULAR HARDWARE,\u201d Proc. of the 13th Inter. Sym. on Comp. Arch., June 1986."},{"key":"45_CR16","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C Chang","year":"1973","unstructured":"C. Chang, R.C. Lee, \u201cSymbolic Logic and Mechanical Theorem Proving,\u201d Academic Press,1973."}],"container-title":["The Kluwer International Series in Engineering and Computer Science","Database Machines and Knowledge Base Machines"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4613-1679-4_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T22:05:47Z","timestamp":1619820347000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4613-1679-4_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9781461289487","9781461316794"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4613-1679-4_45","relation":{},"ISSN":["0893-3405"],"issn-type":[{"type":"print","value":"0893-3405"}],"subject":[],"published":{"date-parts":[[1988]]}}}