A Model Tree Computation of the Strong Well-Founded Semantics.

Cristian Papp A Model Tree Computation of the Strong Well-Founded Semantics. 459-470 1995 conf/agp/1995 GULP-PRODE db/conf/agp/gulp-prode1995.html#Papp95