Knowledge Representation and (1986)

by H Levesque