You are about to access our book library "Some results on circumscription (Report / Department of Computer Science, Stanford University) full version" .