A Logical Semantics for Depth-First Prolog with Ground Negation (1993)

Cached

Download Links

by James Andrews
Venue:Theoretical Computer Science
Citations:9 - 3 self