J. Piris, María José Ramírez. An Implementation of Equational Constructive Negation. In Domenico Saccà, editor, 8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993. pages 143-156, 1993.
@inproceedings{PirisR93,
title = {An Implementation of Equational Constructive Negation},
author = {J. Piris and María José Ramírez},
year = {1993},
researchr = {https://researchr.org/publication/PirisR93},
cites = {0},
citedby = {0},
pages = {143-156},
booktitle = {8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993},
editor = {Domenico Saccà},
}