Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries.

Simone Bova, Fabio Mogavero

Browse the full LICS paper archive.