DMCA

A survey of decidable first-order fragments and description logics (2004)

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