An Algebraic Construction of the Well-Founded Model.

Rajiv Bagai Rajshekhar Sunderraman An Algebraic Construction of the Well-Founded Model. 518-530 1995 conf/amast/1995 AMAST db/conf/amast/amast95.html#BagaiS95