A natural semantics of logic programs with negation. Pages 70–80 of (1989)

by Phan Minh Dung, Kanchana Kanchansut
Venue:Proc. of the ninth conf. on foundations of