@inproceedings{DBLP:conf/lics/GabbayC04,
  author    = {Murdoch Gabbay and
               James Cheney},
  title     = {A Sequent Calculus for Nominal Logic},
  booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
               14-17 July 2004, Turku, Finland, Proceedings},
  pages     = {139--148},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {https://doi.org/10.1109/LICS.2004.1319608},
  doi       = {10.1109/LICS.2004.1319608},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/lics/GabbayC04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":{"_str":"5200019ed40bcbb041000472"},"__v":10,"authorIDs":["545953d8b43425b77200048b","54597770b43425b7720005a9"],"author_short":["Gabbay, M.","Cheney, J."],"bibbaseid":"gabbay-cheney-asequentcalculusfornominallogic-2004","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Murdoch"],"propositions":[],"lastnames":["Gabbay"],"suffixes":[]},{"firstnames":["James"],"propositions":[],"lastnames":["Cheney"],"suffixes":[]}],"title":"A Sequent Calculus for Nominal Logic","booktitle":"19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings","pages":"139–148","publisher":"IEEE Computer Society","year":"2004","url":"https://doi.org/10.1109/LICS.2004.1319608","doi":"10.1109/LICS.2004.1319608","timestamp":"Wed, 16 Oct 2019 14:14:54 +0200","biburl":"https://dblp.org/rec/conf/lics/GabbayC04.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/lics/GabbayC04,\n author = {Murdoch Gabbay and\n James Cheney},\n title = {A Sequent Calculus for Nominal Logic},\n booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),\n 14-17 July 2004, Turku, Finland, Proceedings},\n pages = {139--148},\n publisher = {{IEEE} Computer Society},\n year = {2004},\n url = {https://doi.org/10.1109/LICS.2004.1319608},\n doi = {10.1109/LICS.2004.1319608},\n timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},\n biburl = {https://dblp.org/rec/conf/lics/GabbayC04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Gabbay, M.","Cheney, J."],"key":"DBLP:conf/lics/GabbayC04","id":"DBLP:conf/lics/GabbayC04","bibbaseid":"gabbay-cheney-asequentcalculusfornominallogic-2004","role":"author","urls":{"Paper":"https://doi.org/10.1109/LICS.2004.1319608"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/MurdochGabbay.bib","downloads":0,"keywords":[],"search_terms":["sequent","calculus","nominal","logic","gabbay","cheney"],"title":"A Sequent Calculus for Nominal Logic","title_words":["sequent","calculus","nominal","logic"],"year":2004,"dataSources":["8fz3gw22LB3CpDrfB"]}