Constructive negation by bottom-up computation of literal answers
Konferenzberichte:
Proceedings of the ACM Symposium on Applied Computing
Datum der Publikation: 2004
Ausgabe: 2
Seiten: 1468-1475
Art: Konferenz-Beitrag