DMCA

A Survey of Decidable First-Order Fragments and Description Logics (2004)

Cached

Download Links

by U. Hustadt , R. A. Schmidt , L. Georgieva
Venue:Journal of Relational Methods in Computer Science
Citations:14 - 2 self