A Connection between Cantor-Bendixson Derivatives and the Well-Founded Semantics of Logic Programs.

Douglas Cenzer, Jeffrey B. Remmel

Browse the full ISAIM paper archive.