Book

An Introduction To Default Logic

by Philippe Besnard