Gérard Ferrand, Alexandre Tessier. Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons. In AADEBUG. pages 141-153, 1997. [doi]
@inproceedings{FerrandT97,
title = {Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons},
author = {Gérard Ferrand and Alexandre Tessier},
year = {1997},
url = {http://www.ep.liu.se/ea/cis/1997/009/12/},
tags = {constraints, logic programming, logic},
researchr = {https://researchr.org/publication/FerrandT97},
cites = {0},
citedby = {0},
pages = {141-153},
booktitle = {AADEBUG},
}