A natural semantics for logic programs with negation (1989)

by P M Dung, K Kanchanasut
Venue:In Foundations of Software Technology and Theoretical Computer Science, LNCS 405