Circumscription's minimization of models can yield counterintuitive conclusions when multiple consis...
This proposition has not been edited since the history system was added.