Generalized Quantifiers in Logic Programs

Bibliografiska uppgifter
Huvudupphovsmän: Eiter, T, Gottlob, G, Veith, H
Materialtyp: Conference item
Publicerad: Springer 1997