Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers / - Dix, J.; Pereira, Luís Moniz.; Przymusinski, Teodor C., (Springer,, 1995)