Reasoning with individuals in concept languages (1994)

by Andrea Schaerf
Venue:Data & Knowledge Engineering