Skip to content

Modular Logic Programming and Generalized Quantifiers.

Thomas Eiter, Georg Gottlob, Helmut Veith

VenueBLPNMR
Year1997
ProceedingsLPNMR

Browse the full LPNMR paper archive.