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

by T Eiter, G Gottlob, Veith
Venue:In: Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’97). Volume 1265 of LNCS