@article{DBLP:journals/sigact/Belle14,
  author       = {Vaishak Belle},
  title        = {Review of programming with higher-order logic by Dale Miller and Gopalan
                  Nadathur},
  journal      = {{SIGACT} News},
  volume       = {45},
  number       = {2},
  pages        = {32--35},
  year         = {2014},
  url          = {https://doi.org/10.1145/2636805.2636815},
  doi          = {10.1145/2636805.2636815},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigact/Belle14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":{"_str":"53d4e0b7f414ae191e00022a"},"__v":0,"authorIDs":["545792562abc8e9f37000523","5e60e839839e59df010000ed","vsrgwisAvsx5co5Zd"],"author_short":["Belle, V."],"bibbaseid":"belle-reviewofprogrammingwithhigherorderlogicbydalemillerandgopalannadathur-2014","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]}],"title":"Review of programming with higher-order logic by Dale Miller and Gopalan Nadathur","journal":"SIGACT News","volume":"45","number":"2","pages":"32–35","year":"2014","url":"https://doi.org/10.1145/2636805.2636815","doi":"10.1145/2636805.2636815","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/sigact/Belle14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/sigact/Belle14,\n author = {Vaishak Belle},\n title = {Review of programming with higher-order logic by Dale Miller and Gopalan\n Nadathur},\n journal = {{SIGACT} News},\n volume = {45},\n number = {2},\n pages = {32--35},\n year = {2014},\n url = {https://doi.org/10.1145/2636805.2636815},\n doi = {10.1145/2636805.2636815},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/sigact/Belle14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Belle, V."],"key":"DBLP:journals/sigact/Belle14","id":"DBLP:journals/sigact/Belle14","bibbaseid":"belle-reviewofprogrammingwithhigherorderlogicbydalemillerandgopalannadathur-2014","role":"author","urls":{"Paper":"https://doi.org/10.1145/2636805.2636815"},"metadata":{"authorlinks":{"belle, v":"https://bibbase.org/show?bib=www.cs.toronto.edu/kr/publications/list.bib&group0=year&filter=authors:Belle"}},"downloads":6},"bibtype":"article","biburl":"https://dblp.org/pid/52/570.bib","creationDate":"2014-07-27T11:21:27.491Z","downloads":6,"keywords":[],"search_terms":["review","programming","higher","order","logic","dale","miller","gopalan","nadathur","belle"],"title":"Review of programming with higher-order logic by Dale Miller and Gopalan Nadathur","year":2014,"dataSources":["r9FAaXnZMktuR9SCv","ayruv4JDJNMLz7ieC","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"]}