Morreau, M. P Circumscription - a sound and complete form of non-monotonic reasoning- M. P. Morreau - Amsterdam University Amsterdam 1985 - 36 p 29 cm