Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers - Dix, J. (Jürgen), 1961- (Springer, 1995)