Lunjin Lu. Use of correctness assertions in declarative diagnosis. In Hisham Haddad, Lorie M. Liebrock, Andrea Omicini, Roger L. Wainwright, editors, Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005. pages 1404-1408, ACM, 2005. [doi]
@inproceedings{Lu05:3,
title = {Use of correctness assertions in declarative diagnosis},
author = {Lunjin Lu},
year = {2005},
doi = {10.1145/1066677.1066995},
url = {http://doi.acm.org/10.1145/1066677.1066995},
researchr = {https://researchr.org/publication/Lu05%3A3},
cites = {0},
citedby = {0},
pages = {1404-1408},
booktitle = {Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005},
editor = {Hisham Haddad and Lorie M. Liebrock and Andrea Omicini and Roger L. Wainwright},
publisher = {ACM},
isbn = {1-58113-964-0},
}