Teodor C. Przymusinski
On Constructive Negation in Logic Programming
ICLP, 1989.
@inproceedings{NACLP-1989-Przymusinski,
author = "Teodor C. Przymusinski",
booktitle = "{Proceedings of the North American Conference on Logic Programming, 2 Volumes}",
isbn = "0-262-62064-2",
pages = "0",
publisher = "{MIT Press}",
title = "{On Constructive Negation in Logic Programming}",
year = 1989,
}











