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}
}