An Implementation of Equational Constructive Negation. - J. Piris; María José Ramírez (GULP, 1993)

A Prototype System for Equational Constructive Negation. - A. Mora; J. Piris; María José Ramírez; Moreno Falaschi (ILPS, 1993)