An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets.

Dietmar Seipel

Browse the full LPAR paper archive.