Decidability of Class-Based Knowledge Representation Formalisms (1995)

by Giuseppe De Giacomo
Citations:67 - 10 self