Smith, Brian C. "A proposed system of knowledge representation semantics," Masters dissertation. Department of Electrical Engineering. MIT. June 1977
(1977)
Languages mentioned
KRS-1
{1977} Knowledge Representation Semantics