✓

@Book{            book:1151873,
  Author        = "Miller, Dale and Nadathur, Gopalan",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Edition       = "0",
  ISBN          = "052187940X,978-0-521-87940-8",
  Publisher     = "Cambridge University Press",
  Title         = "Programming with Higher-Order Logic",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=16298a03ec06f4c515fbfeda71dbaf52",
  Year          = "2012",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=16298a03ec06f4c515fbfeda71dbaf52",
  File          = "Programming with Higher-Order Logic - [Dale\_Miller,\_Gopalan\_Nadathur]\_Programming\_with\_H(z-lib.org) (0) - a - a.pdf"
}

@Book{ book:1151873, Author = "Miller, Dale and Nadathur, Gopalan", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Edition = "0", ISBN = "052187940X,978-0-521-87940-8", Publisher = "Cambridge University Press", Title = "Programming with Higher-Order Logic", URL = "http://gen.lib.rus.ec/book/index.php?md5=16298a03ec06f4c515fbfeda71dbaf52", Year = "2012", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=16298a03ec06f4c515fbfeda71dbaf52", File = "Programming with Higher-Order Logic - [Dale_Miller,_Gopalan_Nadathur]_Programming_with_H(z-lib.org) (0) - a - a.pdf" }