1. Ahmet Kara and Thomas Schwentick.
    Expressiveness of Hybrid Temporal Logic on Data Words.
    Electr. Notes Theor. Comput. Sci. 278:115–128, 2011.
    URL, DOI BibTeX

    @article{DBLP:journals/entcs/KaraS11,
    	author = "Ahmet Kara and Thomas Schwentick",
    	title = "Expressiveness of Hybrid Temporal Logic on Data Words",
    	journal = "Electr. Notes Theor. Comput. Sci.",
    	year = 2011,
    	volume = 278,
    	pages = "115--128",
    	url = "http://dx.doi.org/10.1016/j.entcs.2011.10.010",
    	doi = "10.1016/j.entcs.2011.10.010",
    	timestamp = "Tue, 18 Nov 2014 21:28:54 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/entcs/KaraS11",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }