Non-Monotonic Extensions of Logic Programming door Jurgen Dix