Decidability of Class-Based Knowledge Representation Formalisms (1995)

by Giuseppe De Giacomo
Citations:62 - 9 self