On Constructive Negation in Logic Programming (1995)

Cached

Download Links

by Teodor Przymusinski
Venue:In North American Conference on Logic Programming
Citations:24 - 3 self