✓

@Book{            book:944418,
  Author        = "Leitsch, Alexander",
  date-added    = "2020-10-28 18:39:05 +0100",
  date-modified = "2020-10-28 18:39:05 +0100",
  ISBN          = "978-3-642-64473-3,978-3-642-60605-2",
  Publisher     = "Springer",
  Series        = "Texts in Theoretical Computer Science. An EATCS Series",
  Title         = "The Resolution Calculus",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=1fa7bd052c606a95c26a493d52fe6a0d",
  Year          = "1997",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=1fa7bd052c606a95c26a493d52fe6a0d",
  File          = "The Resolution Calculus by Alexander Leitsch (z-lib.org) - a.pdf"
}

@Book{ book:944418, Author = "Leitsch, Alexander", date-added = "2020-10-28 18:39:05 +0100", date-modified = "2020-10-28 18:39:05 +0100", ISBN = "978-3-642-64473-3,978-3-642-60605-2", Publisher = "Springer", Series = "Texts in Theoretical Computer Science. An EATCS Series", Title = "The Resolution Calculus", URL = "http://gen.lib.rus.ec/book/index.php?md5=1fa7bd052c606a95c26a493d52fe6a0d", Year = "1997", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=1fa7bd052c606a95c26a493d52fe6a0d", File = "The Resolution Calculus by Alexander Leitsch (z-lib.org) - a.pdf" }