Stable semantics for logic programs and default reasoning (1989)

by V Marek, M Truszczyński
Venue:Proc. of the North American Conference on Logic Programming and Non-monotonic Reasoning