Title: A type-oriented approach to knowledge-based systems
Subjects: Expert systems (Computer science)