Non-monotonic reasoning by monotonic means
Non-monotonic reasoning by monotonic means / J.-J. Ch. Meyer, W. van der Hoek