Herbrand Property: Finite Quasi-Herbrand Models and Lifting Chandra-Merlin Theorem to Quantified Conjunctive Queries

Bova, Simone; Mogavero, Fabio

by Simone Bova, Fabio Mogavero

Reference:

Herbrand Property: Finite Quasi-Herbrand Models and Lifting Chandra-Merlin Theorem to Quantified Conjunctive QueriesSimone Bova, Fabio MogaveroProceedings of the Thirty-Second ACM/IEEE Symposium on Logic in Computer Science (LICS) June 20-23, 2017, Reykjavik, Iceland, 2017.

Bibtex Entry:

@inproceedings{BovaMogavero17,
  author    = {Simone Bova and Fabio Mogavero},
  title     = {Herbrand Property: Finite Quasi-Herbrand Models and Lifting Chandra-Merlin Theorem to Quantified Conjunctive Queries},
  booktitle = {Proceedings of the Thirty-Second ACM/IEEE Symposium on Logic in Computer Science (LICS)
June 20-23, 2017, Reykjavik, Iceland},
  year      = {2017}
}