On Negation in HiLog (1994)

Cached

Download Links

by Kenneth A. Ross
Venue:Journal of Logic Programming
Citations:14 - 1 self