A logical semantics for depth-first Prolog with ground negation (1993)

by James H Andrews
Venue:Theoretical Computer Science