Accelerating deductive inference: Special methods for taxonomies, colours, and times (1987)

by L K Schubert, M-A Papalaskaris, J Taugher
Venue:The Knowledge Frontier: Essays in the Representation of Knowledge