1979/06/01 by Allen Hazen · 3 citationsComputer Science · #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Logic, programming, and type systems
paper · doi:10.2307/2025472