Fabio Mogavero | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/fabio-mogavero/Fabio MogaveroHugo Blox Builder (https://hugoblox.com)en-usSun, 01 Jan 2017 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngFabio Mogaverohttps://ac.tuwien.ac.at/team/fabio-mogavero/Herbrand Property: Finite Quasi-Herbrand Models and Lifting Chandra-Merlin Theorem to Quantified Conjunctive Querieshttps://ac.tuwien.ac.at/publication/herbrand-property-finite-quasi-herbrand-models-and-lifting-chandra-merlin-theorem-to-quantified-conjunctive-queries/Sun, 01 Jan 2017 00:00:00 +0000https://ac.tuwien.ac.at/publication/herbrand-property-finite-quasi-herbrand-models-and-lifting-chandra-merlin-theorem-to-quantified-conjunctive-queries/