Jean-Marie Jacquet. Negation in Conclog. In Hans P. Zima, editor, Parallel Computation, First International ACPC Conference, Salzburg, Austria, September 30 - October 2, 1991, Proceedings. Volume 591 of Lecture Notes in Computer Science, pages 289-315, Springer, 1991.
@inproceedings{Jacquet91, title = {Negation in Conclog}, author = {Jean-Marie Jacquet}, year = {1991}, researchr = {https://researchr.org/publication/Jacquet91}, cites = {0}, citedby = {0}, pages = {289-315}, booktitle = {Parallel Computation, First International ACPC Conference, Salzburg, Austria, September 30 - October 2, 1991, Proceedings}, editor = {Hans P. Zima}, volume = {591}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-55437-8}, }