@article{BovaChen15,
 author = {Simone Bova and Hubie Chen},
 institution = {Algorithms and Complexity Group, TU Wien},
 journal = {Journal of Computer and System Sciences},
 number = {AC-TR-15-007},
 pages = {443--457},
 title = {The complexity of equivalence, entailment, and
minimization in existential positive logic},
 url = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-15-007.pdf},
 volume = {81},
 year = {2015}
}