@article{barto20152014,
  title={2014 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC},
  author={Barto, Libor and Csima, Barbara F and Hirst, Jeffry L and Hrusak, Michael and Kolesnikov, Alexei S and Laskowski, M Chris and Marks, Andrew and de Paiva, Valeria and Walsh, Sean},
  journal={The Bulletin of Symbolic Logic},
  volume={21},
  number={2},
  year={2015}
}

{"_id":"BvNNJDve9oKpqPMCf","bibbaseid":"barto-csima-hirst-hrusak-kolesnikov-laskowski-marks-depaiva-etal-2014northamericanannualmeetingoftheassociationforsymboliclogic-2015","author_short":["Barto, L.","Csima, B. F","Hirst, J. L","Hrusak, M.","Kolesnikov, A. S","Laskowski, M C.","Marks, A.","de Paiva, V.","Walsh, S."],"bibdata":{"bibtype":"article","type":"article","title":"2014 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC","author":[{"propositions":[],"lastnames":["Barto"],"firstnames":["Libor"],"suffixes":[]},{"propositions":[],"lastnames":["Csima"],"firstnames":["Barbara","F"],"suffixes":[]},{"propositions":[],"lastnames":["Hirst"],"firstnames":["Jeffry","L"],"suffixes":[]},{"propositions":[],"lastnames":["Hrusak"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Kolesnikov"],"firstnames":["Alexei","S"],"suffixes":[]},{"propositions":[],"lastnames":["Laskowski"],"firstnames":["M","Chris"],"suffixes":[]},{"propositions":[],"lastnames":["Marks"],"firstnames":["Andrew"],"suffixes":[]},{"propositions":["de"],"lastnames":["Paiva"],"firstnames":["Valeria"],"suffixes":[]},{"propositions":[],"lastnames":["Walsh"],"firstnames":["Sean"],"suffixes":[]}],"journal":"The Bulletin of Symbolic Logic","volume":"21","number":"2","year":"2015","bibtex":"@article{barto20152014,\n title={2014 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC},\n author={Barto, Libor and Csima, Barbara F and Hirst, Jeffry L and Hrusak, Michael and Kolesnikov, Alexei S and Laskowski, M Chris and Marks, Andrew and de Paiva, Valeria and Walsh, Sean},\n journal={The Bulletin of Symbolic Logic},\n volume={21},\n number={2},\n year={2015}\n}\n\n","author_short":["Barto, L.","Csima, B. F","Hirst, J. L","Hrusak, M.","Kolesnikov, A. S","Laskowski, M C.","Marks, A.","de Paiva, V.","Walsh, S."],"key":"barto20152014","id":"barto20152014","bibbaseid":"barto-csima-hirst-hrusak-kolesnikov-laskowski-marks-depaiva-etal-2014northamericanannualmeetingoftheassociationforsymboliclogic-2015","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/network/files/bGmnF9MtdvorA3axu","dataSources":["G5gXTcMBqic2Zkybh"],"keywords":[],"search_terms":["2014","north","american","annual","meeting","association","symbolic","logic","barto","csima","hirst","hrusak","kolesnikov","laskowski","marks","de paiva","walsh"],"title":"2014 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC","year":2015}