Introduction to Non-monotonic Reasoning

From International Center for Computational Logic