Phan Minh Dung On the Relations between Stable and Well-Founded Semantics of Logic Programs. 7-25 1992 105 Theor. Comput. Sci. 1 db/journals/tcs/tcs105.html#Dung92