Russinoff. D.M. Proteus: A frame-based nonmonotonic inference system. Technical Report ACA-AI-302-87, MCC, 1987.
(1987)
Languages mentioned
PROTEUS
{1987}