" Non-monotonic extensions of logic programming : " Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, eds.