Using non-standard connectives and quantifiers for representing deduction rules in a semantic network, Invited paper presented at Current Aspects of AI Research, a seminar held at the Electrotechnlcal Laboratory (1979)

by S C Shapiro