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

Simone Bova, Fabio Mogavero
January 2017
PDF Cite
Type
Conference Paper