Constructive Negation Using Typed Existence Properties (1998)

Cached

Download Links

by John Cleary , Lunjin Lu
Venue:Proceedings of PLILP/ALP98
Citations:2 - 2 self