Sridharan, N.S., The Frame and Focus Problems: Discussion in Relation to the BELIEVER System." AISB Conference Proceedings, Edinburgh, pp322-333
(1977)
Languages mentioned
AIMDS
{1977}
MDS
{1976} KR system