@inproceedings{DBLP:conf/lics/AlurABEIL07,
  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},
  booktitle = {22nd IEEE Symposium on Logic in Computer Science (LICS 2007),
               10-12 July 2007, Wroclaw, Poland, Proceedings},
  year      = {2007},
  pages     = {151-160},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/LICS.2007.19},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

{"_id":{"_str":"534242800e946d920a0003a8"},"__v":39,"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-2007","bibdata":{"bibtype":"inproceedings","type":"inproceedings","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","booktitle":"22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings","year":"2007","pages":"151-160","ee":"http://doi.ieeecomputersociety.org/10.1109/LICS.2007.19","bibsource":"DBLP, http://dblp.uni-trier.de","bibtex":"@inproceedings{DBLP:conf/lics/AlurABEIL07,\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 booktitle = {22nd IEEE Symposium on Logic in Computer Science (LICS 2007),\n 10-12 July 2007, Wroclaw, Poland, Proceedings},\n year = {2007},\n pages = {151-160},\n ee = {http://doi.ieeecomputersociety.org/10.1109/LICS.2007.19},\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:conf/lics/AlurABEIL07","id":"DBLP:conf/lics/AlurABEIL07","bibbaseid":"alur-arenas-barcelo-etessami-immerman-libkin-firstorderandtemporallogicsfornestedwords-2007","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/LICS.2007.19"},"downloads":0},"bibtype":"inproceedings","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":2007,"dataSources":["D48dwZqPJYE3CuoxQ"]}