A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs

From MaRDI portal
(Redirected from Publication:1926591)