✓

@Book{            92008220,
  Author        = {Amrhein, Beatrice and B{\"u}ndgen, Reinhard and K{\"u}chlin, Wolfgang},
  Editor        = "Bronstein, Manuel and Weispfenning, Volker and Grabmeier, Johannes",
  date-added    = "2022-05-12 08:11:54 +0200",
  date-modified = "2022-05-12 08:12:26 +0200",
  Edition       = "1",
  ISBN          = "9783034897792; 3034897790; 9783034888004; 3034888007",
  Publisher     = {Birkh{\"a}user},
  Series        = "Progress in Computer Science and Applied Logic №15",
  Title         = "Symbolic Rewriting Techniques",
  URL           = "libgen.li/file.php?md5=8d975309a043d27f373f21bdc7ee2407",
  Year          = "1998",
  bdsk-url-1    = "libgen.li/file.php?md5=8d975309a043d27f373f21bdc7ee2407",
  File          = "[Progress in Computer Science and Applied Logic 15] Manuel Bronstein, Volker Weispfenning, Johannes Grabmeier (eds.) - Symbolic Rewriting Techniques (1998, Birkhäuser Basel) - libgen.lc - y.pdf"
}

@Book{ 92008220, Author = {Amrhein, Beatrice and B{\"u}ndgen, Reinhard and K{\"u}chlin, Wolfgang}, Editor = "Bronstein, Manuel and Weispfenning, Volker and Grabmeier, Johannes", date-added = "2022-05-12 08:11:54 +0200", date-modified = "2022-05-12 08:12:26 +0200", Edition = "1", ISBN = "9783034897792; 3034897790; 9783034888004; 3034888007", Publisher = {Birkh{\"a}user}, Series = "Progress in Computer Science and Applied Logic №15", Title = "Symbolic Rewriting Techniques", URL = "libgen.li/file.php?md5=8d975309a043d27f373f21bdc7ee2407", Year = "1998", bdsk-url-1 = "libgen.li/file.php?md5=8d975309a043d27f373f21bdc7ee2407", File = "[Progress in Computer Science and Applied Logic 15] Manuel Bronstein, Volker Weispfenning, Johannes Grabmeier (eds.) - Symbolic Rewriting Techniques (1998, Birkhäuser Basel) - libgen.lc - y.pdf" }