✓

@Book{            book:1155954,
  Author        = "Chou, Shang-Ching",
  date-added    = "2021-10-07 11:07:24 +0200",
  date-modified = "2021-10-07 11:07:24 +0200",
  Edition       = "1987",
  ISBN          = "9027726507,9789027726506",
  Publisher     = "Springer",
  Series        = "Mathematics and Its Applications (closed)",
  Title         = "Mechanical Geometry Theorem Proving",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=ace7869b74008b2924dde9081dbfb836",
  Year          = "1987",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=ace7869b74008b2924dde9081dbfb836",
  File          = "Mechanical Geometry Theorem Proving by Shang-Ching Chou (z-lib.org).pdf"
}

@Book{ book:1155954, Author = "Chou, Shang-Ching", date-added = "2021-10-07 11:07:24 +0200", date-modified = "2021-10-07 11:07:24 +0200", Edition = "1987", ISBN = "9027726507,9789027726506", Publisher = "Springer", Series = "Mathematics and Its Applications (closed)", Title = "Mechanical Geometry Theorem Proving", URL = "http://gen.lib.rus.ec/book/index.php?md5=ace7869b74008b2924dde9081dbfb836", Year = "1987", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=ace7869b74008b2924dde9081dbfb836", File = "Mechanical Geometry Theorem Proving by Shang-Ching Chou (z-lib.org).pdf" }