Taxonomic Reasoning with Many-Sorted Logic (1989)

by Cohn AG
Venue:Artificial Intelligence Review