@string{tcs="Theoretical Computer Science"}
@article{BovaGanianSzeider16b,
  author    = {Simone Bova and Robert Ganian and Stefan Szeider},
  title     = {Quantified Conjunctive Queries on Partially Ordered Sets},
  journal   = TCS,
 volume    = {618},
  pages     = {72--84},
  year      = {2016},
  url       = {http://arxiv.org/abs/1408.4263},
 doi         = {10.1016/j.tcs.2016.01.010},
  keywords  = {xtract}
}