@article{journals/jsyml/ArecesBM01,
  added-at = {2020-09-05T00:00:00.000+0200},
  author = {Areces, Carlos and Blackburn, Patrick and Marx, Maarten},
  biburl = {https://www.bibsonomy.org/bibtex/2c68a01e056a6a55ac602077570e7e601/dblp},
  ee = {http://projecteuclid.org/euclid.jsl/1183746543},
  interhash = {da3d7d7e1e7b6f567fa25f333a11f71c},
  intrahash = {c68a01e056a6a55ac602077570e7e601},
  journal = {J. Symb. Log.},
  keywords = {dblp},
  number = 3,
  pages = {977-1010},
  timestamp = {2020-09-09T11:51:25.000+0200},
  title = {Hybrid Logics: Characterization, Interpolation and Complexity.},
  url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml66.html#ArecesBM01},
  volume = 66,
  year = 2001
}

{"_id":"BAw4GNKcHjiPnTkYm","bibbaseid":"areces-blackburn-marx-hybridlogicscharacterizationinterpolationandcomplexity-2001","author_short":["Areces, C.","Blackburn, P.","Marx, M."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-09-05T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Areces"],"firstnames":["Carlos"],"suffixes":[]},{"propositions":[],"lastnames":["Blackburn"],"firstnames":["Patrick"],"suffixes":[]},{"propositions":[],"lastnames":["Marx"],"firstnames":["Maarten"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2c68a01e056a6a55ac602077570e7e601/dblp","ee":"http://projecteuclid.org/euclid.jsl/1183746543","interhash":"da3d7d7e1e7b6f567fa25f333a11f71c","intrahash":"c68a01e056a6a55ac602077570e7e601","journal":"J. Symb. Log.","keywords":"dblp","number":"3","pages":"977-1010","timestamp":"2020-09-09T11:51:25.000+0200","title":"Hybrid Logics: Characterization, Interpolation and Complexity.","url":"http://dblp.uni-trier.de/db/journals/jsyml/jsyml66.html#ArecesBM01","volume":"66","year":"2001","bibtex":"@article{journals/jsyml/ArecesBM01,\n added-at = {2020-09-05T00:00:00.000+0200},\n author = {Areces, Carlos and Blackburn, Patrick and Marx, Maarten},\n biburl = {https://www.bibsonomy.org/bibtex/2c68a01e056a6a55ac602077570e7e601/dblp},\n ee = {http://projecteuclid.org/euclid.jsl/1183746543},\n interhash = {da3d7d7e1e7b6f567fa25f333a11f71c},\n intrahash = {c68a01e056a6a55ac602077570e7e601},\n journal = {J. Symb. Log.},\n keywords = {dblp},\n number = 3,\n pages = {977-1010},\n timestamp = {2020-09-09T11:51:25.000+0200},\n title = {Hybrid Logics: Characterization, Interpolation and Complexity.},\n url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml66.html#ArecesBM01},\n volume = 66,\n year = 2001\n}\n\n","author_short":["Areces, C.","Blackburn, P.","Marx, M."],"key":"journals/jsyml/ArecesBM01","id":"journals/jsyml/ArecesBM01","bibbaseid":"areces-blackburn-marx-hybridlogicscharacterizationinterpolationandcomplexity-2001","role":"author","urls":{"Link":"http://projecteuclid.org/euclid.jsl/1183746543","Paper":"http://dblp.uni-trier.de/db/journals/jsyml/jsyml66.html#ArecesBM01"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/maarten marx?items=1000","dataSources":["Siuk2oSXMdsbEd2r9","aKX2T7ef3GscsArHw"],"keywords":["dblp"],"search_terms":["hybrid","logics","characterization","interpolation","complexity","areces","blackburn","marx"],"title":"Hybrid Logics: Characterization, Interpolation and Complexity.","year":2001}