Foundations of a functional approach to knowledge representation (1984)

by H J Levesque
Venue:Artificial Intelligence