@article{DBLP:journals/entcs/GabbayG08,
  author    = {Murdoch Gabbay and
               Michael Gabbay},
  title     = {a-Logic With Arrows},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {216},
  pages     = {3--29},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2008.06.031},
  doi       = {10.1016/j.entcs.2008.06.031},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/GabbayG08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"JwFzqn2hnG4sxzpo7","bibbaseid":"gabbay-gabbay-alogicwitharrows-2008","authorIDs":[],"author_short":["Gabbay, M.","Gabbay, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Murdoch"],"propositions":[],"lastnames":["Gabbay"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Gabbay"],"suffixes":[]}],"title":"a-Logic With Arrows","journal":"Electron. Notes Theor. Comput. Sci.","volume":"216","pages":"3–29","year":"2008","url":"https://doi.org/10.1016/j.entcs.2008.06.031","doi":"10.1016/j.entcs.2008.06.031","timestamp":"Mon, 24 Feb 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/entcs/GabbayG08.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/entcs/GabbayG08,\n author = {Murdoch Gabbay and\n Michael Gabbay},\n title = {a-Logic With Arrows},\n journal = {Electron. Notes Theor. Comput. Sci.},\n volume = {216},\n pages = {3--29},\n year = {2008},\n url = {https://doi.org/10.1016/j.entcs.2008.06.031},\n doi = {10.1016/j.entcs.2008.06.031},\n timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/entcs/GabbayG08.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Gabbay, M.","Gabbay, M."],"key":"DBLP:journals/entcs/GabbayG08","id":"DBLP:journals/entcs/GabbayG08","bibbaseid":"gabbay-gabbay-alogicwitharrows-2008","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.entcs.2008.06.031"},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/g/MurdochGabbay.bib","creationDate":"2020-07-27T05:55:34.323Z","downloads":0,"keywords":[],"search_terms":["logic","arrows","gabbay","gabbay"],"title":"a-Logic With Arrows","year":2008,"dataSources":["8fz3gw22LB3CpDrfB"]}