Reasoning with individuals in concept languages (1994)

by A Schaerf
Venue:Data and Knowledge Engineering