Generalized Quantifiers in Logic Programs
Thomas Eiter‚ Georg Gottlob and Helmut Veith
Book Title
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äänänen
ISBN
3−540−66993−0
Pages
72−98
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
1754
Year
1997