Non-Monotonic Extensions of Logic Programming by Jurgen Dix