A Functional Approach to Knowledge Representation (1983)

by R J Fikes R E, Levesque H J KRYPTON
Venue:in Proc UCAl-81