H.: Modular Logic Programming and Generalized Quantifiers (1997)

by T Eiter, G Gottlob, Veith
Venue:In: LPNMR’97