Book

Default reasoning

by Hector Geffner