Non-monotonic extensions of logic programming
International Conference on Logic Programming (11th 1994 Santa Margherita Ligure, Italy)