A formal treatment of incomplete knowledge basesHector Joseph Levesque · First published 1981Open the Tome