A Theory And System For Non-monotonic Reasoning (Linkoping Studies in Science and Technology. Dissertations., No. 165)