TY  - GEN
AU  - Morreau, M. P
TI  - Circumscription - a sound and complete form of non-monotonic reasoning-
PY  - 1985///
CY  - Amsterdam
PB  - University Amsterdam
ER  -