@dblp

Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report.

, and . NMR, page 238-246. (2002)

Links and resources

Tags