@inproceedings{conf/esslli/EiterGV97,
  title = "Generalized Quantifiers in Logic Programs",
  author = "Thomas Eiter and Georg Gottlob and Helmut Veith",
  year = "1997",
  booktitle = "{Generalized Quantifiers and Computation, 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop,
Aix-en-Provence, France, August 11-22, 1997, Revised Lectures}",
  editor = "Jouko A. V{\"a}{\"a}n{\"a}nen",
  isbn = "3-540-66993-0",
  pages = "72-98",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://link.springer.de/link/service/series/0558/bibs/1754/17540072.htm",
  volume = "1754",
}