@inproceedings{BovaMogavero17,
 author = {Simone Bova and Fabio Mogavero},
 booktitle = {Proceedings of the Thirty-Second ACM/IEEE Symposium on Logic in Computer Science (LICS)
June 20-23, 2017, Reykjavik, Iceland},
 institution = {Algorithms and Complexity Group, TU Wien},
 number = {AC-TR-17-017},
 title = {Herbrand Property: Finite Quasi-Herbrand Models and Lifting Chandra-Merlin Theorem to Quantified Conjunctive Queries},
 url = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-17-017.pdf},
 year = {2017}
}