Constructive negation by bottom-up computation of literal answers
Actes de conférence:
Proceedings of the ACM Symposium on Applied Computing
Année de publication: 2004
Volumen: 2
Pages: 1468-1475
Type: Communication dans un congrès