Non-monotonic extensions of logic programming

By International Conference on Logic Programming (11th 1994 Santa Margherita Ligure, Italy), Jurgen Dix, Luis Moniz Pereira, Teodor C. Przymusinski