Generalized Quantifiers in Logic Programs - Eiter, T; Gottlob, G; Veith, H (Springer, 1997)