DBLP Record 'journals/jacm/BojanczykMSS09'

BibTeX

@article{DBLP:journals/jacm/BojanczykMSS09,
  author    = {Mikolaj Bojanczyk and
               Anca Muscholl and
               Thomas Schwentick and
               Luc Segoufin},
  title     = {Two-variable logic on data trees and XML reasoning},
  journal   = {J. ACM},
  volume    = {56},
  number    = {3},
  year      = {2009},
  ee        = {http://doi.acm.org/10.1145/1516512.1516515},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}