The complexity of equivalence, entailment, and minimization in existential positive logic

Bova, Simone; Chen, Hubie

by Simone Bova, Hubie Chen

Reference:

The complexity of equivalence, entailment, and minimization in existential positive logicSimone Bova, Hubie ChenJournal of Computer and System Sciences, volume 81, number 2, pages 443–457, 2015.

Bibtex Entry:

@string{jcss="Journal of Computer and System Sciences"}
@article{BovaChen15,
  author    = {Simone Bova and Hubie Chen},
  title     = {The complexity of equivalence, entailment, and
                  minimization in existential positive logic},
  journal   = JCSS,
  volume    = {81},
  number    = {2},
  pages     = {443--457},
  year      = {2015}
}