{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T08:22:44Z","timestamp":1648714964487},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1995,5,1]],"date-time":"1995-05-01T00:00:00Z","timestamp":799286400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. of Compt. Sci. & Technol."],"published-print":{"date-parts":[[1995,5]]},"DOI":"10.1007\/bf02943488","type":"journal-article","created":{"date-parts":[[2008,9,11]],"date-time":"2008-09-11T20:40:39Z","timestamp":1221165639000},"page":"206-213","source":"Crossref","is-referenced-by-count":0,"title":["Automatic construction of finite algebras"],"prefix":"10.1007","volume":"10","author":[{"given":"Jian","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02943488_CR1","unstructured":"Zhang Jian. Search for models of equational theories. InProc. 3rd Int'l Conf. for Young Computer Scientists (ICYCS-93), Beijing, 1993, pp. 2.60\u201363."},{"issue":"1","key":"BF02943488_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00881862","volume":"10","author":"W McCune","year":"1993","unstructured":"McCune W. Single axioms for groups and Abelian groups with various operations.J. Automated Reasoning, 1993, 10(1): 1\u201313.","journal-title":"J. Automated Reasoning"},{"issue":"2","key":"BF02943488_CR3","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1215\/ijm\/1256044638","volume":"30","author":"B H Neumann","year":"1986","unstructured":"Neumann B H. Yet another single law for groups.Illinois J. of Math., 1986, 30(2): 295\u2013300.","journal-title":"Illinois J. of Math."},{"key":"BF02943488_CR4","unstructured":"Slaney J. FINDER: Finite domain enumerator. Version 3.0 notes and guide. Australian National University, 1993."},{"issue":"2","key":"BF02943488_CR5","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0304-3975(91)90034-Y","volume":"87","author":"W McCune","year":"1991","unstructured":"McCune W, Wos L. The absence and the presence of fixed point combinators.Theoretical Computer Science, 1991, 87(2): 221\u2013228.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"BF02943488_CR6","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF00881795","volume":"10","author":"L Wos","year":"1993","unstructured":"Wos L. The kernel strategy and its use for the study of combinatory logic.J. Automated Reasoning, 1993, 10(3): 287\u2013343.","journal-title":"J. Automated Reasoning"},{"key":"BF02943488_CR7","doi-asserted-by":"crossref","unstructured":"Wos L. Automated reasoning and Bledsoe's dream for the field. InAutomated Reasoning: Essays in Honor of Woody Bledsoe, Boyer R S (ed), Kluwer Academic Publishers, 1991.","DOI":"10.1007\/978-94-011-3488-0_15"},{"key":"BF02943488_CR8","unstructured":"Fujita M, Slaney J, Bennett F. Automatic generation of some results in finite algebra. InProc. 13th Int'l Joint Conf. on Artif. Intel. (IJCAI-93), 1993, pp.52\u201357."},{"key":"BF02943488_CR9","doi-asserted-by":"crossref","unstructured":"Slaney J, Fujita M, Stickel M. Automated reasoning and exhaustive search: Quasigroup existence problems.Computers and Mathematics with Applications, to appear.","DOI":"10.1016\/0898-1221(94)00219-B"},{"key":"BF02943488_CR10","doi-asserted-by":"crossref","unstructured":"Hasegawa R, Koshimura M, Fujita H. MGTP: A parallel theorem prover based on lazy model generation. InProc. 11th Int'l Conf. on Automated Deduction (CADE-11), LNAI 607, Springer, 1992, 776\u2013780.","DOI":"10.1007\/3-540-55602-8_223"},{"key":"BF02943488_CR11","unstructured":"Zhang H. Sato: A decision procedure for propositional logic.AAR Newsletter, No. 22, March 1993."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943488.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02943488\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943488","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T16:16:20Z","timestamp":1558455380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02943488"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,5]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,5]]}},"alternative-id":["BF02943488"],"URL":"https:\/\/doi.org\/10.1007\/bf02943488","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,5]]}}}