Javier Álvez, Paqui Lucio, Fernando Orejas. Constructive negation by bottom-up computation of literal answers. In Hisham Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock, editors, Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004. pages 1468-1475, ACM, 2004. [doi]
@inproceedings{AlvezLO04,
title = {Constructive negation by bottom-up computation of literal answers},
author = {Javier Álvez and Paqui Lucio and Fernando Orejas},
year = {2004},
doi = {10.1145/967900.968194},
url = {http://doi.acm.org/10.1145/967900.968194},
researchr = {https://researchr.org/publication/AlvezLO04},
cites = {0},
citedby = {0},
pages = {1468-1475},
booktitle = {Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004},
editor = {Hisham Haddad and Andrea Omicini and Roger L. Wainwright and Lorie M. Liebrock},
publisher = {ACM},
isbn = {1-58113-812-1},
}