{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:27Z","timestamp":1750307967101,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,7,29]],"date-time":"2007-07-29T00:00:00Z","timestamp":1185667200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,7,29]]},"DOI":"10.1145\/1277548.1277563","type":"proceedings-article","created":{"date-parts":[[2007,12,7]],"date-time":"2007-12-07T19:19:41Z","timestamp":1197055181000},"page":"100-107","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Non-associative gr\u00f6bner bases, finitely-presented lie rings and the engel condition"],"prefix":"10.1145","author":[{"given":"Serena","family":"Cical\u00f2","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Trento"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Willem","family":"de Graaf","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Trento"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,7,29]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"William\n     W.\n      \n  \n   \n  Adams and Philippe Loustaunau. An introduction to Gr\u00f6bner bases volume \n  3\n   of \n  Graduate Studies in Mathematics\n  . \n  American Mathematical Society Providence RI 1994\n  .  William W. Adams and Philippe Loustaunau. An introduction to Gr\u00f6bner bases volume 3 of Graduate Studies in Mathematics. American Mathematical Society Providence RI 1994."},{"key":"e_1_3_2_1_2_1","unstructured":"The GAP Group. GAP - Groups Algorithms and Programming Version 4.4 2004. (http:\/\/www.gap-system.org).  The GAP Group. GAP - Groups Algorithms and Programming Version 4.4 2004. (http:\/\/www.gap-system.org)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2003.09.005"},{"key":"e_1_3_2_1_4_1","unstructured":"W. A.\n       \n      de Graaf\n    .\n      \n  \n   \n  Lie Algebras: Theory and Algorithms volume \n  56\n   of \n  North-Holland Mathematical Library\n  . \n  Elsevier Science 2000\n  .  W. A. de Graaf. Lie Algebras: Theory and Algorithms volume 56 of North-Holland Mathematical Library. Elsevier Science 2000."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/309831.309853"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80080-6"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100029017"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"B. Huppert and N. Blackburn. Finite Groups II. Springer Verlag New York Heidelberg Berlin 1982.  B. Huppert and N. Blackburn. Finite Groups II. Springer Verlag New York Heidelberg Berlin 1982.","DOI":"10.1007\/978-3-642-67994-0"},{"key":"e_1_3_2_1_9_1","unstructured":"A. I.\n       \n      Kostrikin\n    . \n      \n      \n      Around\n       \n      Burnside volume \n  20\n   of \n  Ergebnisse der Mathematik und ihrer Grenzgebiete (3) {Results in Mathematics and Related Areas (3)}\n  . \n  Springer-Verlag Berlin 1990\n  . Translated from the Russian and with a preface by James Wiegold.  A. I. Kostrikin. Around Burnside volume 20 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) {Results in Mathematics and Related Areas (3)}. Springer-Verlag Berlin 1990. Translated from the Russian and with a preface by James Wiegold."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(97)00021-2"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2003.11.012"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2005.01.019"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2006.04.005"},{"issue":"1","key":"e_1_3_2_1_14_1","first-page":"1","article-title":"Computing nilpotent quotients in finitely presented Lie rings","volume":"1","author":"Schneider C.","year":"1997","journal-title":"Discrete Math. Theor. Comput. Sci."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511574702"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1093\/qmath\/44.3.355"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/51.3.453"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1515\/jgth.1998.003"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542787.021"}],"event":{"name":"ISSAC07: International Symposium on Symbolic and Algebraic Computation","sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Waterloo Ontario Canada","acronym":"ISSAC07"},"container-title":["Proceedings of the 2007 international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1277548.1277563","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1277548.1277563","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:58:13Z","timestamp":1750258693000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1277548.1277563"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,29]]},"references-count":19,"alternative-id":["10.1145\/1277548.1277563","10.1145\/1277548"],"URL":"https:\/\/doi.org\/10.1145\/1277548.1277563","relation":{},"subject":[],"published":{"date-parts":[[2007,7,29]]},"assertion":[{"value":"2007-07-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}