@inproceedings{conf/lpnmr/EiterGV97,
  title = "Modular Logic Programming and Generalized Quantifiers",
  author = "Thomas Eiter and Georg Gottlob and Helmut Veith",
  year = "1997",
  booktitle = "{Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31,
1997, Proceedings}",
  editor = "J{\"u}rgen Dix and Ulrich Furbach and Anil Nerode",
  isbn = "3-540-63255-7",
  pages = "290-309",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "1265",
}