David Chan
An Extension of Constructive Negation and its Application in Coroutining
ICLP, 1989.
@inproceedings{NACLP-1989-Chan, author = "David Chan", booktitle = "{Proceedings of the North American Conference on Logic Programming, 2 Volumes}", isbn = "0-262-62064-2", pages = "477--493", publisher = "{MIT Press}", title = "{An Extension of Constructive Negation and its Application in Coroutining}", year = 1989, }