{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T22:23:24Z","timestamp":1765232604126,"version":"3.37.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319964171"},{"type":"electronic","value":"9783319964188"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-96418-8_41","type":"book-chapter","created":{"date-parts":[[2018,7,13]],"date-time":"2018-07-13T10:57:13Z","timestamp":1531479433000},"page":"343-351","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The Andrews-Curtis Conjecture, Term Rewriting and First-Order Proofs"],"prefix":"10.1007","author":[{"given":"A.","family":"Lisitsa","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,14]]},"reference":[{"issue":"4","key":"41_CR1","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/0040-9383(85)90010-2","volume":"24","author":"S Akbulut","year":"1985","unstructured":"Akbulut, S., Kirby, R.: A potential smooth counterexample in dimension 4 to the Poincare conjecture, the Schoenflies conjecture, and the Andrews-Curtis conjecture. Topology 24(4), 375\u2013390 (1985)","journal-title":"Topology"},{"key":"41_CR2","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1090\/S0002-9939-1965-0173241-8","volume":"16","author":"J Andrews","year":"1965","unstructured":"Andrews, J., Curtis, M.L.: Free groups and handlebodies. Proc. Amer. Math. Soc. 16, 192\u2013195 (1965)","journal-title":"Proc. Amer. Math. Soc."},{"key":"41_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139172752","volume-title":"Term Rewriting and All That","author":"F Baader","year":"1998","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, New York (1998)"},{"key":"41_CR4","doi-asserted-by":"crossref","unstructured":"Baumslag, G., Myasnikov, A.G., Shpilrain, V.: Open Problems in Combinatorial Group Theory, 2nd edn., vol. 296, pp. 1\u201338. Amer. Math. Soc., Providence, RI (2002)","DOI":"10.1090\/conm\/296\/05067"},{"issue":"04","key":"41_CR5","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S0305004100013463","volume":"31","author":"Garrett Birkhoff","year":"1935","unstructured":"Birkhoff, G.: On the structure of abstract algebras. In: Mathematical Proceedings of the Cambridge Philosophical Society, vol. 31, pp. 433\u2013454. Cambridge University Press (1935)","journal-title":"Mathematical Proceedings of the Cambridge Philosophical Society"},{"key":"41_CR6","doi-asserted-by":"publisher","unstructured":"Borovik, A.V., Lubotzky, A., Myasnikov, A.G.: The finitary Andrews-Curtis conjecture. In: Bartholdi, L., Ceccherini-Silberstein, T., Smirnova-Nagnibeda, T., Zuk, A. (eds.) Infinite Groups: Geometric, Combinatorial and Dynamical Aspects. Progress in Mathematics, vol. 248, pp. 15\u201330. Birkh\u00e4user Basel (2005). https:\/\/doi.org\/10.1007\/3-7643-7447-0_2","DOI":"10.1007\/3-7643-7447-0_2"},{"key":"41_CR7","unstructured":"Bridson, M.R.: The complexity of balanced presentations and the Andrews-Curtis conjecture. ArXiv e-prints, April 2015"},{"key":"41_CR8","series-title":"Handbook of Theoretical Computer Science","first-page":"243","volume-title":"Formal Models and Semantics","author":"N Dershowitz","year":"1990","unstructured":"Dershowitz, N., Jouannaud, J.-P.: Rewrite systems. In: van Leeuwen, J. (ed.) Formal Models and Semantics. Handbook of Theoretical Computer Science, vol. B, pp. 243\u2013320. Elsevier, Amsterdam (1990)"},{"key":"41_CR9","unstructured":"Edjvet, M., Swan, J.: Irreducible cyclically presented groups 2005\u20132010. https:\/\/www.maths.nottingham.ac.uk\/personal\/pmzme\/Irreducible-Cyclically-Presented-Groups.pdf"},{"issue":"2","key":"41_CR10","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1080\/10586458.2014.888379","volume":"23","author":"M Edjvet","year":"2014","unstructured":"Edjvet, M., Swan, J.: On irreducible cyclic presentations of the trivial group. Exp. Math. 23(2), 181\u2013189 (2014)","journal-title":"Exp. Math."},{"key":"41_CR11","unstructured":"Havas, G., Ramsay, C.: Andrews-Curtis and Todd-Coxeter proof words. Technical report, in Oxford, vol. I, London Math. Soc. Lecture Note Ser (2001)"},{"issue":"01","key":"41_CR12","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1142\/S0218196703001365","volume":"13","author":"G Havas","year":"2003","unstructured":"Havas, G., Ramsay, C.: Breadth-first search and the Andrews-Curtis conjecture. Int. J. Algebra Comput. 13(01), 61\u201368 (2003)","journal-title":"Int. J. Algebra Comput."},{"key":"41_CR13","unstructured":"Krawiec, K., Swan, J.: Ac-trivialization proofs eliminating some potential counterexamples to the Andrews-curtis conjecture (2015). www.cs.put.poznan.pl\/kkrawiec\/wiki\/uploads\/Site\/ACsequences.pdf"},{"key":"41_CR14","unstructured":"Lishak, B.: Balanced finite presentations of the trivial group. ArXiv e-prints, April 2015"},{"key":"41_CR15","unstructured":"Lisitsa, A.: First-order theorem proving in the exploration of Andrews-Curtis conjecture. TinyToCS 2 (2013)"},{"key":"41_CR16","first-page":"2006","volume":"193\u2013197","author":"SB McCaul","year":"2006","unstructured":"McCaul, S.B., Bowman, R.S.: Fast searching for Andrews-Curtis trivializations. Exp. Math. 193\u2013197, 2006 (2006)","journal-title":"Exp. Math."},{"key":"41_CR17","unstructured":"McCune, W.: Prover9 and mace4, 2005\u20132010. http:\/\/www.cs.unm.edu\/~mccune\/prover9\/"},{"issue":"06","key":"41_CR18","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1142\/S0218196799000370","volume":"09","author":"AD Miasnikov","year":"1999","unstructured":"Miasnikov, A.D.: Genetic algorithms and the Andrews-curtis conjecture. Int. J. Algebra Comput. 09(06), 671\u2013686 (1999)","journal-title":"Int. J. Algebra Comput."},{"key":"41_CR19","doi-asserted-by":"crossref","unstructured":"Plaisted, D.A.: Equational reasoning and term rewriting systems. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 1, pp. 274\u2013364. Oxford University Press Inc, New York (1993)","DOI":"10.1093\/oso\/9780198537458.003.0005"},{"issue":"02","key":"41_CR20","doi-asserted-by":"publisher","first-page":"1250009","DOI":"10.1142\/S0218196711006753","volume":"22","author":"JERRY SWAN","year":"2012","unstructured":"Swan, J., Ochoa, G., Kendall, G., Edjvet, M.: Fitness landscapes and the Andrews-Curtis conjecture. IJAC 22(2) (2012)","journal-title":"International Journal of Algebra and Computation"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96418-8_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T06:04:16Z","timestamp":1720418656000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96418-8_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319964171","9783319964188"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96418-8_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}