Viet Phan Luong Computing stable models of datalog programs with negation. 101- 1997 conf/jfplc/1997 JFPLC db/conf/jfplc/jfplc1997.html#Luong97