A Natural Semantics for Logic Programs with Negation.

Phan Minh Dung Kanchana Kanchanasut A Natural Semantics for Logic Programs with Negation. 78-88 1989 conf/fsttcs/1989 FSTTCS db/conf/fsttcs/fsttcs89.html#DungK89 http://dx.doi.org/10.1007/3-540-52048-1_34