An overview of KRL, a knowledge representation la guage (1977)

by D G Bobrow, T Winograd
Venue:Cognitive Science