Stable semantics for logic programs and default reasoning (1989)

by V W Marek, M Truszczynski
Venue:In Proc. of the North American Conf. on Logic Programming