✓

@Book{            book:1605321,
  Author        = "Kroening, Daniel and Strichman, Ofer",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Edition       = "2",
  ISBN          = "978-3-662-50496-3,978-3-662-50497-0",
  Publisher     = "Springer-Verlag Berlin Heidelberg",
  Series        = "Texts in Theoretical Computer Science. An EATCS Series",
  Title         = "Decision Procedures: An Algorithmic Point of View",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=3788e28770b05892c5542b802b66903a",
  Year          = "2016",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=3788e28770b05892c5542b802b66903a",
  File          = "[Daniel\_Kroening,\_Ofer\_Strichman\_(auth.)]\_Decision(b-ok.xyz) (0) - a - a.pdf"
}

@Book{ book:1605321, Author = "Kroening, Daniel and Strichman, Ofer", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Edition = "2", ISBN = "978-3-662-50496-3,978-3-662-50497-0", Publisher = "Springer-Verlag Berlin Heidelberg", Series = "Texts in Theoretical Computer Science. An EATCS Series", Title = "Decision Procedures: An Algorithmic Point of View", URL = "http://gen.lib.rus.ec/book/index.php?md5=3788e28770b05892c5542b802b66903a", Year = "2016", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=3788e28770b05892c5542b802b66903a", File = "[Daniel_Kroening,_Ofer_Strichman_(auth.)]_Decision(b-ok.xyz) (0) - a - a.pdf" }