Jianahua Chen Kukhamay Kundu The Strong Semantics for Logic Programs. 51-68 1995 5 J. Intell. Inf. Syst. 1 db/journals/jiis/jiis5.html#ChenK95 http://dx.doi.org/10.1007/BF01928539