A First Order Nonmonotonic Extension of Constructive Logic | Publicación