Efficient negation using abstract interpretation (2001)

Cached

Download Links

by Juan Jos'e Moreno , Manuel Hermenegildo
Venue:In Proc. of the Eigth International Conference on Logic Programming and Automated Reasoning, LNAI
Citations:4 - 0 self