An Efficient Method for Eliminating Varying Predicates from a Circumscription

Opis bibliograficzny
Główni autorzy: Cadoli, M, Eiter, T, Gottlob, G
Format: Journal article
Wydane: 1992