@article{DBLP:journals/lmcs/AlurABEIL08,
  author    = {Rajeev Alur and
               Marcelo Arenas and
               Pablo Barcelo and
               Kousha Etessami and
               Neil Immerman and
               Leonid Libkin},
  title     = {First-Order and Temporal Logics for Nested Words},
  journal   = {Logical Methods in Computer Science},
  volume    = {4},
  number    = {4},
  year      = {2008},
  ee        = {http://dx.doi.org/10.2168/LMCS-4(4:11)2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

{"_id":{"_str":"534242800e946d920a0003a5"},"__v":37,"authorIDs":["545779302abc8e9f37000426","546d2161ec3c47a51800095e","546ebdc6ec3c47a518000fef"],"author_short":["Alur, R.","Arenas, M.","Barcelo, P.","Etessami, K.","Immerman, N.","Libkin, L."],"bibbaseid":"alur-arenas-barcelo-etessami-immerman-libkin-firstorderandtemporallogicsfornestedwords-2008","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Rajeev"],"propositions":[],"lastnames":["Alur"],"suffixes":[]},{"firstnames":["Marcelo"],"propositions":[],"lastnames":["Arenas"],"suffixes":[]},{"firstnames":["Pablo"],"propositions":[],"lastnames":["Barcelo"],"suffixes":[]},{"firstnames":["Kousha"],"propositions":[],"lastnames":["Etessami"],"suffixes":[]},{"firstnames":["Neil"],"propositions":[],"lastnames":["Immerman"],"suffixes":[]},{"firstnames":["Leonid"],"propositions":[],"lastnames":["Libkin"],"suffixes":[]}],"title":"First-Order and Temporal Logics for Nested Words","journal":"Logical Methods in Computer Science","volume":"4","number":"4","year":"2008","ee":"http://dx.doi.org/10.2168/LMCS-4(4:11)2008","bibsource":"DBLP, http://dblp.uni-trier.de","bibtex":"@article{DBLP:journals/lmcs/AlurABEIL08,\n author = {Rajeev Alur and\n Marcelo Arenas and\n Pablo Barcelo and\n Kousha Etessami and\n Neil Immerman and\n Leonid Libkin},\n title = {First-Order and Temporal Logics for Nested Words},\n journal = {Logical Methods in Computer Science},\n volume = {4},\n number = {4},\n year = {2008},\n ee = {http://dx.doi.org/10.2168/LMCS-4(4:11)2008},\n bibsource = {DBLP, http://dblp.uni-trier.de}\n}\n\n","author_short":["Alur, R.","Arenas, M.","Barcelo, P.","Etessami, K.","Immerman, N.","Libkin, L."],"key":"DBLP:journals/lmcs/AlurABEIL08","id":"DBLP:journals/lmcs/AlurABEIL08","bibbaseid":"alur-arenas-barcelo-etessami-immerman-libkin-firstorderandtemporallogicsfornestedwords-2008","role":"author","urls":{"Link":"http://dx.doi.org/10.2168/LMCS-4(4:11)2008"},"downloads":0},"bibtype":"article","biburl":"http://dl.dropbox.com/u/1791703/Prints/dccuc.bib","downloads":0,"keywords":[],"search_terms":["first","order","temporal","logics","nested","words","alur","arenas","barcelo","etessami","immerman","libkin"],"title":"First-Order and Temporal Logics for Nested Words","year":2008,"dataSources":["D48dwZqPJYE3CuoxQ"]}